generic_console_write
extern int generic_console_write(int fd, const char *buf, int n);
.console_write = generic_console_write,
.console_write = generic_console_write,
.console_write = generic_console_write,
.console_write = generic_console_write,
.console_write = generic_console_write,
.console_write = generic_console_write,
.console_write = generic_console_write,