post_install() {
    cat <<'MSG'

  vfio-native-kvm-dkms: DKMS builds the patched kvm, kvm-amd and kvm-intel
  for every installed 7.2.x kernel with headers, into updates/, which modprobe
  prefers over the in-tree modules. They are NOT loaded yet.

  With every VM shut down:

      sudo modprobe -r kvm_amd kvm && sudo modprobe kvm_amd     # or kvm_intel

  Confirm BOTH took - checking one passes on a stale build of the other:

      cat /sys/module/kvm/srcversion /sys/module/kvm_amd/srcversion
      modinfo -F srcversion kvm kvm_amd

  THE PIN: these are 7.2.3's KVM sources. DKMS refuses to build them for a
  kernel outside 7.2.x, the stock modules load silently, and three detections
  come back. A pacman hook warns when that happens.

MSG
}
post_upgrade() { post_install; }
post_remove() { echo "  Stock KVM loads on the next boot, or reload the modules now."; }