Thanks for the quick reply.
I sort of suspected that it was compiled in :-(

How hard would it be to have it configured through fw_cfg ?
We are on a supported distro and are not allowed homebrewed binaries.

And, [more importantly] are there any other ways of persuading OVMF to boot from IPv6 without manually updating the boot order ?

/Per