[SeaBIOS] [PATCH 4/9] Convert boot code EBDA variables to VARLOW variables.