[SeaBIOS] [PATCH 03/31] Drivers: Use get_bda_ptr() BDA accessor