[seL4] Re: ARM64: Handle SError in user-space instead of halting the kernel