stock kernel module (unmodified, required in case Garlic was installed before this)

source: unavailable