Using the older grsec 3.14.79 kernel the machine boots fine.What is surprising is that another hardware (same Lenovo T510) has no trouble with the 4.4.115.
Roger that. For what it’s worth, shipping the firmware image package with 0.8.0 seems to have resolved hardware problems for most folks. I’m not aware of any kernel panics as of 4.4.135 with firmware present. If anyone can provide a counter-example, please share!