Add our module support.
Copied from sabresd board.
Change the prefix of all functions.
Change SD3 slot to TF.
Change the boot console to the UART4.