debug_early_boot_message
extern void debug_early_boot_message(const char *string);
debug_early_boot_message("machine_platform: ");
debug_early_boot_message("Native mmode hooks\n");
debug_early_boot_message("SBI\n");
debug_early_boot_message("?\n");
debug_early_boot_message("Version mismatch between boot loader and "