Re: [SeaBIOS] [PATCH] edd: Fix buffer size field for EDD 3.x