Comment 11 for bug 1453593

Mainline kernel 4.0.3 also boots OK.