Bought a battery for my GPD Pocket 1.. Hopefully it arrives okay. Not too sure what distro I can use, the 32bit uefi is a pain to get anything to boot. uBuntu Mate had a GPD Pocket version last time I had it running, but that is probably way out of date. Could see if I can run Haiku OS.