# CONFIG_BLK_DEV_IDEFLOPPY is not set
