# CONFIG_PATA_HPT3X3 is not set