Comment 10 for bug 1432405

Sadly that kernel doesn't boot at all - just an empty black screen.