IXPCOM_UART_HWBASE
IXPCOM_UART_HWBASE, IXPCOM_UART_VBASE,
panic("can't init serial console @%lx", IXPCOM_UART_HWBASE);