# CONFIG_PATA_OLDPIIX is not set