[PATCH 4.19 071/280] ARM: 8824/1: fix a migrating irq bug when hotplug cpu