Make kudu6 buildable

models/kudu6/chip.txt

@@ -0,0 +1 @@
+GD25Q127C/GD25Q128C

models/kudu6/coreboot.config

@@ -0,0 +1,11 @@
+CONFIG_VENDOR_SYSTEM76=y
+CONFIG_BOARD_SYSTEM76_KUDU6=y
+CONFIG_CCACHE=y
+CONFIG_CONSOLE_SERIAL=n
+CONFIG_PAYLOAD_ELF=y
+CONFIG_PAYLOAD_FILE="$(FIRMWARE_OPEN_UEFIPAYLOAD)"
+CONFIG_POST_IO=n
+CONFIG_SMMSTORE=y
+CONFIG_SUBSYSTEM_DEVICE_ID=0x50f2
+CONFIG_SUBSYSTEM_VENDOR_ID=0x1558
+#CONFIG_CONSOLE_SYSTEM76_EC=y

models/kudu6/edk2.config

@@ -0,0 +1,9 @@
+BOOTLOADER=COREBOOT
+DISABLE_SERIAL_TERMINAL=TRUE
+PLATFORM_BOOT_TIMEOUT=2
+PS2_KEYBOARD_ENABLE=TRUE
+#SECURE_BOOT_ENABLE=TRUE
+SERIAL_DRIVER_ENABLE=FALSE
+SHELL_TYPE=NONE
+TPM_ENABLE=TRUE
+#SYSTEM76_EC_LOGGING=TRUE