[coreboot] Exact status of gPXE support?