setenv boot_a55_1 "mw 0xA0000000 14000000; dcache flush; icache flush; cpu 1 release 0xA0000000"
setenv bootcmd "run boot_a55_1"
saveenv