[PXEXT] Add PXENV_FILE_EXEC call to PXE extensions API.