[seL4] Re: seL4 Raspberry Pi 4B Support