[seL4] [Camkes] Access control for memory or the entire component?