Re: [seL4] i.MX6 quad booting problems