[seL4] seL4-test on Beaglebone black