| /* Disable entry during POST */ | |
| #undef ROM_BANNER_TIMEOUT | |
| #define ROM_BANNER_TIMEOUT 0 | |
| /* Extend banner timeout */ | |
| #undef BANNER_TIMEOUT | |
| #define BANNER_TIMEOUT 30 | |
| /* Work around missing EFI_PXE_BASE_CODE_PROTOCOL */ | |
| #define EFI_DOWNGRADE_UX | |
| /* The Tivoli VMM workaround causes a KVM emulation failure on hosts | |
| * without unrestricted_guest support | |
| */ | |
| #undef TIVOLI_VMM_WORKAROUND |