Enable edk2 System76 EC logging if coreboot has it

scripts/build.sh

@@ -40,6 +40,12 @@ EDK2_ARGS=(
 PCIE_BASE="$(grep '^CONFIG_MMCONF_BASE_ADDRESS=' "${MODEL_DIR}/coreboot.config" | cut -d '=' -f 2)"
 EDK2_ARGS+=(-D PCIE_BASE="${PCIE_BASE}")
 
+# Set edk2 SYSTEM76_EC_LOGGING if coreboot has CONSOLE_SYSTEM76_EC set
+if grep "CONFIG_CONSOLE_SYSTEM76_EC=y" "${MODEL_DIR}/coreboot.config" &> /dev/null
+then
+	EDK2_ARGS+=(-D SYSTEM76_EC_LOGGING=TRUE)
+fi
+
 # Rebuild firmware-setup (used by edk2)
 touch apps/firmware-setup/Cargo.toml
 make -C apps/firmware-setup