#!/bin/sh
# DF-3061 — fix validation kernel build (inside the guest, as root)
cd /usr/src
patch -p1 < /tmp/fix.diff          # the two hunks from this evidence pack
make nativekernel KERNCONF=X86_64_GENERIC   # builds and installs to /boot/kernel
reboot