# CONFIG_ATA_PIIX is not set
