[seL4] camkes-gen.mk generated prerequisites