Part I:

The specs claim the raspberry pi 3 boards have ARM Cortex-A53 CPU, which
supports 64bit.

Will the arm64 kernel run on these little guys? Has anyone attempted to
compile it or install ?

Or, has anyone put the arm64 debian version on there?

Part II:

has anyone tried this little bit of code yet?

did it work?