# CONFIG_BLK_DEV_INITRD is not set