Update non-GPL licensed files for gPXE