# DF-4895 fix-validation build (in-guest; original /tmp/kbuild.log lost to
# the reboot's tmpfs wipe — verbatim decisive lines captured in-session;
# kernel binary provenance below)
#
# Commands (root in guest):
#   cd /usr/src && git apply /tmp/fix.diff
#   make -j6 quickkernel KERNCONF=X86_64_GENERIC
#   make installkernel KERNCONF=X86_64_GENERIC
#
# Output (captured 2026-09-24 20:33 UTC):
#   >>> Kernel install for X86_64_GENERIC completed on Thu Sep 24 20:33:30 UTC 2026
#   --------------------------------------------------------------
#   BUILD_OK
#
# Only vinuminterrupt.o recompiled + relink (quickkernel reused the
# Jul-2 object tree; build wall time ~2 minutes).
#
# Running-kernel provenance (post-reboot, pre-reset):
#   -r-xr-xr-x 1 root wheel 119340592 Sep 24 20:32 /boot/kernel/kernel
#   kern.bootfile = /boot/kernel/kernel
#   MD5 (/boot/kernel/kernel) = 29a0c51c2e9202a724a7b626b3416d39
# (uname -v shows the stale cached vers.c timestamp; the installed binary
#  is the 20:32 patched build — behaviorally proven: the deterministic
#  trigger that panicked the stock kernel 1/1 completes cleanly on it.)