First working kernel for RICHTECHIE board with uart3/4 and mmc3/4 driver