--- zzzz-none-000/linux-3.10.107/arch/arm/mach-vexpress/hotplug.c	2017-06-27 09:49:32.000000000 +0000
+++ scorpion-7490-727/linux-3.10.107/arch/arm/mach-vexpress/hotplug.c	2021-02-04 17:41:59.000000000 +0000
@@ -85,7 +85,7 @@
  *
  * Called with IRQs disabled
  */
-void __ref vexpress_cpu_die(unsigned int cpu)
+void vexpress_cpu_die(unsigned int cpu)
 {
 	int spurious = 0;