On 05/10/15 11:15, Lee Jones wrote:
On 5 October 2015 at 10:43, Daniel Thompson firstname.lastname@example.org wrote:
Have you updated the firmware beyond the July 2015 version you mentioned in another post?
IIRC PSCI was not enabled in the Hikey firmware until mid-August.
The latest firmware from the releases site is installed. An update is required by the sounds of it.
Am I correct in thinking that I need to flash UEFI/ATF/etc and is  the correct HOWTO to follow to successfully boot most recent kernel?
Yes. I use scripts to update but my scripts were derived from that document.