Yes, this was definetely a side quest, but postmarketOS indeed is a real Linux distribution that is perfectly usable! I just want to experiment with this tablet, and with U-Boot providing an EFI environment now adapted, I (or anyone) should be able to boot any distribution (Arch Linux ARM, Debian, etc). Ubuntu was just my personal choice here :)