[seL4] some question about the compile of global-components in camkes_arm_vm project