[SeaBIOS] [PATCH 1/4] vgabios: Only init BDA device details in init_bios_area()