64 bit ARM

Turns out it is impossible to run a 64-bit kernel on a Pi3 because the necessary firmware has not been released by the Foundation.

I have now ordered a PINE64, which *can* run a 64-bit kernel. Two week lead time, and then postage from the US, so probably most of a month till it arrives.

C’est la vie.