Hi Guys,
I pulled Aschwin's updated PSCI cleanup for upstream into acpi-mainline-core this morning.
This invalidated the previous patch from Tomasz to hardcard PSCI booting method so I replaced it with this simpler patch until we have ASWG compliant method.
We can of course improve this within acpi-core until that time.
Graeme