[seL4] sel4test cross compiling for arm