[Arm-dev] [PATCH v1 47/87] ARM64:spinlocks: Fix up for WFE and improve performance slightly.