[SeaBIOS] [PATCH] EDD fixes