void
arch_debug_serial_early_boot_message(const char *string)
{
    // this function will only be called in fatal situations
    // ToDo: also enable output via text console?!
    arch_debug_console_init(NULL);
    arch_debug_serial_puts(string);
}
void
arch_debug_serial_early_boot_message(const char *string)
{
	// this function will only be called in fatal situations
	arch_debug_serial_puts(string);
}