x86/platform: Use new Intel model number macros