Raise super image size: 11.5 GB -> 12 GB

This makes more space for the VNDK binaries. In a downstream build, the
product partition ended up being 40 MB over the limit. Unfortunately
only half the new space becomes available for actual use due to the
nature of A/B.

Bug: 135411238
Bug: 143439276
Test: Checked size numbers.
Change-Id: I9f8f85fb2153688ff3f1c2e08d4c99cc9ca1030a
diff --git a/shared/BoardConfig.mk b/shared/BoardConfig.mk
index fa96982..03bb59d 100644
--- a/shared/BoardConfig.mk
+++ b/shared/BoardConfig.mk
@@ -140,10 +140,10 @@
 
 TARGET_RECOVERY_FSTAB ?= device/google/cuttlefish/shared/config/fstab
 
-BOARD_SUPER_PARTITION_SIZE := 12348030976
+BOARD_SUPER_PARTITION_SIZE := 12884901888
 BOARD_SUPER_PARTITION_GROUPS := google_dynamic_partitions
 BOARD_GOOGLE_DYNAMIC_PARTITIONS_PARTITION_LIST := system vendor product system_ext
-BOARD_GOOGLE_DYNAMIC_PARTITIONS_SIZE := 6174015488
+BOARD_GOOGLE_DYNAMIC_PARTITIONS_SIZE := 6442450944
 BOARD_BUILD_SUPER_IMAGE_BY_DEFAULT := true
 BOARD_SUPER_IMAGE_IN_UPDATE_PACKAGE := true
 TARGET_RELEASETOOLS_EXTENSIONS := device/google/cuttlefish/shared