Fork arndale device tree for seL4 based VM
Tune arndale-sel4 dts
Odroidxu-sel4vm: Prune RAM down to 256MB
Build Wifi and AP drivers into the kernel
Odroid-XU Bootargs: boot in text mode
Compile in PCA9685 PWM IC over I2C and add I2C0 to the device tree