bootloader-rpi package in rpi-ha contains kernel as well in kernel-adaptation-rpi. So the mic fails because of conflicting files. rpi-ha_mod is workaround with 'rm boot/kernel.img' in .spec to get rid of kernel in bootloader-rpi and to use one in kernel-adaptation-rpi.