[SeaBIOS] [PATCH] vgabios: Fix stdvga_perform_gray_scale_summing().