6701461a9a
headers into a related source file. Deleted some very old device-specific headers for devices that we don't support and likely never will.