[seL4] imx6 U-Boot Issues