some random stuff to help me hack on getting RPi3 running LinuxKit in 64-bit - View it on GitHub