147a148
> #include "arch/x86/cpuid.hh"