build narrative: kernels DFPCI/DFPCIP/DFPCIPF/DFPCIF built on-guest (make -j6 nativekernel; cc 8.3); harness generated by rig/gen.sh from verbatim pci.c extracts (sha256-gated; see DF-2323 pack rig/verbatim.log); fix builds apply rig/fix.diff then rig/gen_fixed.sh

== kernel CFLAGS evidence ==
-O2
-std=gnu11
-fno-strict-overflow
---
--------------------------------------------------------------
>>> Kernel build for DFPCIF completed on Sun Oct 18 20:11:47 UTC 2026
--------------------------------------------------------------