# Placeholder — real iPXE binaries fetched by scripts/fetch-ipxe.sh or built from source.