Behold I got Antix Linux to run from a live USB drive on my HP Pro Tablet 608 G1. I am using the 32 bit build with the efi file for 32 bit efis. I think I figured out the problem. Even though it has a 64 bit copy of Windows and a 64 bit efi, it has trouble booting 64 bit linux. It however can boot 32 bit linux flawlessly. In Virtualization it also had trouble booting 64 bit linux. Touchscreen and pen work fine. Pen hovering works. Sound doesn't work. It was capable of seeing the SD Card, so the card reader works. I wasn't able to test wifi. I couldn't figure out how to rotate the screen or change the display.