[seL4] VMM ARM SMP support