=== Kernel build log excerpt for DF-1511 (vga_switcheroo.c) ===
Source: make -j6 nativekernel KERNCONF=X86_64_GENERIC  (all 25 fix.diffs applied)
Date: 2026-07-21

--- compilation line for vga_switcheroo.c (proves -Werror clean compile of patched source) ---

--- errors involving vga_switcheroo.c (should be empty) ---
(empty above = clean)

--- final build status ---
=== NK_DONE rc=0 ===

Affected .o produced: