[seL4] Raspberry Pi SMP?