arch_debug_serial_early_boot_message
void arch_debug_serial_early_boot_message(const char *string);
arch_debug_serial_early_boot_message(string);