[seL4] Re: How to run seL4 on FVP?