Initial attempt to port 64 bit...
Merge https://github.com/michaelcr/chibios_michael