fatload mmc 0:1 0x4020F000 cmos
fatload mmc 0:1 0x81000000 riscos
go 0x81000000
