seems like iPXE (ipxe.org) forked from gPXE and gPXE seems to have since stalled development. perhaps the iPXE developers will be more amenable to getting license clarifications? live well, vagrant