GRMLBASE/16-depmod: no longer rely on /boot/System.map-* file