That's just plan9.ini with data supplied by a different boot loader,
presumably at a different memory address.

I'd rather have the kernel pick the first (supported) ethernet
interface in the PCI tables and use that to boot load via /cfg/pxe,
thus putting the plan9.ini's in one place.