[seL4] SMP documents