[seL4] Question on multi-partition seL4 image/load for x86