4498 update to ACPI version 6.x 7428 Deliver the ACPI debugging tools 7429 workaround USB always identified as xHCI after latest ACPI update Reviewed by: Patrick Mooney <patrick.mooney@joyent.com> Reviewed by: Robert Mustacchi <rm@joyent.com> Reviewed by: Toomas Soome <tsoome@me.com> Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com> Reviewed by: Gordon Ross <gwr@nexenta.com> Approved by: Richard Lowe <richlowe@richlowe.net>
6684164 fix for 6545999 breaks 32-bit dom0 6683443 xVM panics during boot on systems without acpi Contributed by Juergen Keil (jk@tools.de)