Re: [seL4] camkes-gen.mk generated prerequisites