* Make Kernel ARM UART slightly more generic through (BOARD_UART_CLOCK) configured per board * Add initial Raspberry Pi serial code * Still rough and non-working