# CONFIG_PATA_SERVERWORKS is not set