hw/intc/arm_gicv3_common: Give no-migration-shift-bug subsection a needed function