[seL4] Failure on a CAmkES-VM with more than 150MB RAM