So, my HP Bios is broken?

Tue Jan 18 20:46:29 UTC 2011

On 01/18/2011 03:37 PM, Alessandro Boggiano wrote:
> I was looking into /var/log/messages and I discoverd this! :(
> 
> I went on HP site and I found indeed a bios upgrade, but it reports:
> Fix/Enhancement: Updates the Computrace Option ROM to verison 889.
> 

 ...

> Jan 18 20:26:46 localhost kernel: [    0.000000] Disabling lock
> debugging due to kernel taint

  May be unrelated - but what is tainting your kernel ? You have nvidia
drivers instead of nouveau maybe ?