[seL4] DeclareCAmkESComponent questions