Synopsis: [boot] BTX Halted on HP DV6255 Notebook State-Changed-From-To: open->feedback State-Changed-By: remko State-Changed-When: Wed Jul 14 10:01:07 UTC 2010 State-Changed-Why: Hello, can you please confirm that this is still a problem? http://www.freebsd.org/cgi/query-pr.cgi?pr=112580