/* 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