Geeksphone Revolution (gp-revolution)
The kernel builds.
What does not work
It does not boot (it goes straight to recovery).
How to enter flash mode
Press volume down and power button at the same time.
The Revolution uses the Intel bootimg format, similar to the Asus Zenfone 5 (asus-t00f).
This tool can be used to generate an image in this format.