debian_kernel_prerm.d.in

#!/bin/sh

# This script is triggered when the kernel (linux-image) package is being
# removed.  We're passed the version of the kernel being removed.
inst_kern=$1

if command -v dkms > /dev/null; then
    dkms kernel_prerm -k "$inst_kern"
fi

exit 0