# CONFIG_X86_VERBOSE_BOOTUP is not set