[seL4] I need help porting camkes/arm/vmm to new hardware