# CONFIG_IPL_TAPE is not set
