What to do with warnings like these?

[D. Hugh Redelmeier]

| From: Alexander Volovics <a.volovic at upcmail.nl>

| $ dmesg |grep -i -e warning
| [    7.211363] ACPI Warning: 0x000000000000efa0-0x000000000000efbf SystemIO conflicts with Region \_SB_.PCI0.SBUS.SMBI 1 (20120711/utaddress-251)
| [    7.212758] ACPI Warning: 0x0000000000000428-0x000000000000042f SystemIO conflicts with Region \PMIO 1 (20120711/utaddress-251)
| [    7.212768] ACPI Warning: 0x0000000000000500-0x000000000000053f SystemIO conflicts with Region \GPIO 1 (20120711/utaddress-251)

Try google.  See, for example:
<https://bugzilla.redhat.com/show_bug.cgi?id=845442>
<https://git.kernel.org/?p=linux/kernel/git/torvalds/linux.git;a=commitdiff;h=4f600ada70beeb1dfe08e11e871bf31015aa0a3d>

I would have said that this was a BIOS bug, but the patch suggests that 
Linux is being too stringent.