This patch-set fixes several issues and inefficiencies related to bundle build process and starts publishing Raspberry Pi 4 builds to HawkBit.