[SeaBIOS] strange behavior (regression?) with SeaBIOS + iPXE + WDSNBP.COM