[seL4] Re: section type mismatch on aarch64