Hi Tom,
I was having a similar issue as was posted here. Got kernel panics trying to register a HP ProDesk 600 G1 SFF.
Using the kernel you posted solved my issue. Thank you so much. Great to find an answer by using the search on the forum.
Cheers,
Tyler Coan