X86_LEGACY_I8042_EXPECTED_PRESENT
x86_platform.legacy.i8042 = X86_LEGACY_I8042_EXPECTED_PRESENT;
X86_LEGACY_I8042_EXPECTED_PRESENT)