PostmarketOS on the SpacemitK1 (DC-ROMA PAD II and BananaPi-F3)

Finally! After weeks of work, I have successfully booted postmarketOS on both of those devices. This should hopefully make the adoption of both, RISC-V and PostmarketOS easier.