[seL4] Clarification on seL4 on RPi3b