It looks like cpuid.h isn't really to be found on that platform. Could we support it in the future anyway?