[seL4] seL4/seL4test on odroid-xu4