# CONFIG_CDROM_PKTCDVD is not set