# CONFIG_BLK_DEV_PIIX is not set