Sorry, it took me a while to get a chance to look at the file. It turns out I have a newer version than 3.10.17 Yocto installed, so I believe these won't work. I went to https://software.intel.com/iot/hardware/edison/downloads this page to search for a Yocto version that matches the header files that you provided, but I couldn't find it. Can you provide the headers that match the latest Yocto distribution or can you provide the Yocto distribution that matches the header files that you provided?
Specifically, which image version are you using? If you're looking for the Yocto image that matches the kernel headers we suggested we'd recommend you to use an older version such as 159.devkit. You can find this image here http://downloadmirror.intel.com/25384/eng/edison-iotdk-image-280915.zip http://downloadmirror.intel.com/25384/eng/edison-iotdk-image-280915.zip .
Let us know if this is what you were looking for.
I reflashed my Edison with the 3.10.17 firmware to match the headers that you linked to.
I was using whatever the "Latest Yocto* Poky Image" is at https://software.intel.com/en-us/iot/hardware/edison/downloads https://software.intel.com/en-us/iot/hardware/edison/downloads. It would be nice to have the headers to match, so that I can use the most recently (and likely best) available OS version.
Have you had any luck with finding out the memory register addresses for the Intel Atom SoC?
Thank you for your time waiting. I've been trying to look for the kernel headers for the latest image, but unfortunately I couldn't find them. It seems that they are not available. You will have to build them from source, however there is no documentation about this, so I'm afraid I won't be of much help to you on that matter. Anyhow, you could try to search in the community if someone might have already built the previous versions and provided the steps so you can try to build them with the latest one.
I know this is not the answer you were expecting, but that's all I could find.