Feb 2 08:09:55 debian kernel: [ 11.269884] it87: Found IT8705F chip at 0x290, revision 2
Feb 2 08:09:55 debian kernel: [ 11.269895] it87: Beeping is supported
Feb 2 08:09:55 debian kernel: [ 11.270045] it87 it87.656: Detected broken BIOS defaults, disabling PWM interface
Feb 2 13:01:54 debian kernel: [ 11.022946] it87: Found IT8705F chip at 0x290, revision 2
Feb 2 13:01:54 debian kernel: [ 11.022956] it87: Beeping is supported
Feb 2 13:01:54 debian kernel: [ 11.023011] ACPI: resource it87 [io 0x0295-0x0296] conflicts with ACPI region IP__ [io 0x295-0x296]
Feb 2 13:01:54 debian kernel: [ 11.023017] ACPI: If an ACPI driver is available for this device, you should use it instead of the native driver
I was about to open a bug report but reportbug was unable to connect to Debian BTS. So I would like to know if this is really a bug or if I should find some workaround for it.
Thank you very much.