The text a4c16c502485, as Debian 7 (Wheezy) shipped it.
Register PIIX ATA PCI device with kernel services
piix_init_one(9) on Linux now
