[seL4] Port I/O - Permissions Question