kernel_update: correct paths for debian