[seL4] Booting seL4test on x86 hardware