New additions:

• Preliminary support for generic-efi profile (profile does not work yet)
• Add support for Odroid M1
• Change the logic for how partitioning is done
• Increase the "extra space" by 200 MB, as we also increased the size of the boot partition to 512 MB
• Fix some Raspberry Pi 4 configuration options, as Raspberry Pi deprecated support for fkms
• Change pbpro-bsp to use a static version of uboot that is not packaged in the repository
• Add support for the gnome-mobile edition
• Some fixes for the Orange Pi 3 LTS support