[SeaBIOS] [PATCHv2] support T13 EDD3.0 spec

[Sebastian Herbszt]

Gleb Natapov wrote:
> Some guests (such as Linux) expect BIOS to behave according to T13
> EDD3.0 spec. T13 spec is much better then Phoenix since it provides
> more information about interface and device paths. This patch adds
> support for the spec. If guest provides buffer with enough space for
> T13 EDD info return EDD according to T13 spec otherwise use Phoenix
> one.

T13 EDD 3.0 says DPI length is 44; currently it's 36 so it needs a "if (t13)".

Sebastian