[seL4] Image lies outside of usable physical memory