[seL4] Upgrading to Camkes 2.0

I was looking to upgrade to CAmkES release 2.0. but can't get an example arm configuration to compile.

I did a a fresh clone using https://github.com/seL4/camkes-manifest.git and found the ia32_simple_defconfig compiles fine, but not arm_simple_defconfig

make arm_simple_defconfig make

[libs/libsel4] building... make[1]: *** No rule to make target `/home/sysjeff/Camkes2/libs/libsel4/sel4_arch_include/arm/interfaces/sel4arch.xml', needed by `include/interfaces/sel4_client.h'. Stop. make: *** [libsel4] Error 2

looks like the arm directory got renamed to aarch32 and part of the build system doesn't know?

$ ls /home/sysjeff/Camkes2/libs/libsel4/sel4_arch_include/ aarch32/ ia32/

Is there something simple I am missing?

Thanks,

Jeff