boot_console_type
if (boot_console_type(NULL) != CONS_FRAMEBUFFER)
if (boot_console_type(NULL) == CONS_SCREEN_TEXT) {
if (boot_console_type(NULL) == CONS_FRAMEBUFFER)
boot_console_type(NULL) == CONS_SCREEN_TEXT) {
extern int boot_console_type(int *);
if (boot_console_type(NULL) == CONS_HYPERVISOR)
if (boot_console_type(NULL) == CONS_HYPERVISOR) {