[seL4] camkes-arm-vm Platform Support