[SeaBIOS] [PATCH 2/6] seabios: update 128k bios config