I don't know why but I recently started to do quite some postmarketOS work, now we have another device in the house!
Anyway, this port uses the Android bootloader (kernelflinger) instead of Gummiboot or rEFInd,... just in case if people still wants to easily reflash Android later without going through some DNX Fastboot, Intel Flash Tool blah blah.
More information on this port:
(anything that isn't mentioned isn't working or not tested)