[seL4] Re: Overlapping pointer returned by memalign