pub const ARCH_SET_CPUID: u32 = 4114; // 4_114u32