[seL4] Camkes x86 VM Build Error