[seL4] Why armel for the seL4 ARM VMM?