Make searching for patched dvb-core.ko simpler