fdt_add_uart
fdt_add_uart(UART_MMIO_BASE, UART_MMIO_SIZE, UART_INTR);
void fdt_add_uart(uint64_t uart_base, uint64_t uart_size, int intr);
fdt_add_uart(UART_MMIO_BASE, UART_MMIO_SIZE, UART_INTR);
void fdt_add_uart(uint64_t uart_base, uint64_t uart_size, int intr);