packaging: u-boot-rpi3: support 32bit rpi3 u-boot image