--- ./repos/extra-any/PKGBUILD	2017-06-17 20:37:19.912014297 +0200
+++ ./trunk/PKGBUILD	2017-06-17 21:00:32.630175894 +0200
@@ -29,6 +29,11 @@
 prepare() {
   cd dkms
 
+  # temporarily revert "Make the newly installed modules available immediately", which is
+  # problematic on Arch, if the kernel is upgraded and the old kernel is still running.
+  # https://github.com/dell/dkms/commit/f5bfb12fef1fc06e56355cdba500eaa98d4e6aa8
+  git revert -n f5bfb12
+
   # apply patch from the source array (should be a pacman feature)
   local filename
   for filename in "${source[@]}"; do