Run sel4test on at least one configuration with KernelLAPICMode=X2APIC, either on real hardware or in qemu.
KernelLAPICMode=X2APIC
See also this seL4 pull request.