[seL4] Re: root task executable memory changed