This is cased by cpuidle_driver_ref() not coping with there being no driver present. This was fixed in linus 3.12 by commit 3b9c10e98021e1f92e6f8c7ce1778b86ba68db10 (cpuidle: Check the result of cpuidle_get_driver() against NULL)
After cherry-picking that, the ARMv8 base model boots OK for me.
This is cased by cpuidle_ driver_ ref() not coping with there being no driver present. This was fixed in linus 3.12 by commit 3b9c10e98021e1f 92e6f8c7ce1778b 86ba68db10 (cpuidle: Check the result of cpuidle_ get_driver( ) against NULL)
After cherry-picking that, the ARMv8 base model boots OK for me.