Re: [SeaBIOS] [PATCHv3] support T13 EDD3.0 spec