tizen: packaging: Repackage 64-bit rpi4 bootloader for use in mixed 64-bit boot/32...