[seL4] CAmkES-vm Build Question