{
  "verdict": "inconclusive",
  "impact": "none",
  "confidence": "likely",
  "finding_id": "DF-3628",
  "title": "Unvalidated VBT backlight.controller used as PPS register index (OOB MMIO on BXT)",
  "severity": "Low",
  "reproduce": {
    "build": "n/a — requires BXT eDP hardware + crafted VBT (BIOS compromise or root i915.vbt_firmware)",
    "run": "n/a on this guest (virtio-only)",
    "expected": "PPS register writes landing up to ~64KB outside the PPS block → display-engine misprogramming / hang"
  },
  "kernel_refs": [
    "sys/dev/drm/i915/intel_dp.c:860",
    "sys/dev/drm/i915/intel_dp.c:1015",
    "sys/dev/drm/i915/intel_bios.c:333",
    "sys/dev/drm/i915/i915_reg.h:4613"
  ],
  "artifacts": ["README.md", "fix.diff", "verdict.json", "manifest.json"]
}