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