osx-guides Guides for OSX PC builds. Some useful boot options Enable kernel ACPI debug messages debug=0x12a acpi_layer=0x08 acpi_level=0x02