[seL4] Re: Multiple ARM VMs with different CAmkES component configurations