[seL4] Re: Booting software on Odroid-C4