On Mon, 2 Jan 2012, Iain Hibbert wrote: > Also, what kernel options do you have? I am using i386 and have always > used DIAGNOSTIC (built in now) and I have run with LOCKDEBUG in the past > though am not at the moment booting a LOCKDEBUG kernel shows the same problem here btw iain