[seL4] Can I running camkes-arm-vm on HiKey board