config: coreboot-x230: add force=1 to tpm_tis Linux driver

Add tpm_tis.force=1: "Force device probe rather than using ACPI entry".

This prevents Linux from "hanging" for about 30 seconds after
"switched to clocksource tsc" when loading this driver.

TPM measurements seem to work, but we should look for the change in coreboot
that causes this problem.

config/coreboot-x230.config

@@ -17,6 +17,6 @@ CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x80000
 CONFIG_DEFAULT_CONSOLE_LOGLEVEL_5=y
 CONFIG_PAYLOAD_LINUX=y
 CONFIG_PAYLOAD_FILE="../../build/x230/bzImage"
-CONFIG_LINUX_COMMAND_LINE="intel_iommu=igfx_off quiet"
+CONFIG_LINUX_COMMAND_LINE="intel_iommu=igfx_off quiet tpm_tis.force=1"
 CONFIG_LINUX_INITRD="../../build/x230/initrd.cpio.xz"
 CONFIG_DEBUG_SMM_RELOCATION=y