Comment 6 for bug 1433992

For the failure,
 klog: HIGH Kernel message: [ 7.859557] ACPI Warning: SystemIO range 0x0000000000000b00-0x0000000000000b07 conflicts with OpRegion 0x0000000000000b00-0x0000000000000b0f (\_SB_.PCI0.SMB_.SMB0) (20141107/utaddress-258)

is from the buggy bios, that acpi implemented the conflict IO 0x0B00, betwteen
    Scope (_SB.PCI0.SMB)
    {
        Mutex (SBX0, 0x00)
        OperationRegion (SMB0, SystemIO, 0x0B00, 0x10)
        Field (SMB0, ByteAcc, NoLock, Preserve)
        {
            HST0, 8,
            SLV0, 8,
            CNT0, 8,
            CMD0, 8,
            ADD0, 8,
            DT00, 8,
            DT10, 8,
            BLK0, 8
        }
        ...

and

                Device (SYSR)
                {
                    Name (_HID, EisaId ("PNP0C02")) // _HID: Hardware ID
                    Name (_CRS, ResourceTemplate () // _CRS: Current Resource Settings
                    {
                        ....
                        IO (Decode16,
                            0x0B00, // Range Minimum
                            0x0B00, // Range Maximum
                            0x01, // Alignment
                            0x20, // Length
                            )
                        IO (Decode16,
                        ....
                }