This pull request brings in a fix for booting on SMP Raspberry Pis,
particularly with maxcpus=1
Signed-off-by: NFlorian Fainelli <f.fainelli@gmail.com>