[seL4] Tx1 SMP and Hypervisor support