x86/mce: Fix 32-bit build