[coreboot-gerrit] Change in coreboot[master]: Add a doc describing an ACPI device for controlling platform radios.