i386/117918: HP dc5750 will only boot with ACPI disabled

[Pete French]

The following reply was made to PR i386/117918; it has been noted by GNATS.

From: Pete French <pete at twisted.org.uk>
To: bug-followup at FreeBSD.org,
 petefrench at ticketswitch.com
Cc:  
Subject: Re: i386/117918: HP dc5750 will only boot with ACPI disabled
Date: Wed, 6 Feb 2008 01:10:02 +0000

 This is probably the same bug as 119716 and thus should be fixed by  
 the patch in the mailing list post:
 
 http://lists.freebsd.org/pipermail/freebsd-stable/2008-January/ 
 040077.html