# CONFIG_PATA_HPT3X3_DMA is not set