[SeaBIOS] bootorder: iPXE or gPXE?