[seL4] camkes-arm-vm not registering GPIO?