mb/starlabs/starbook/rpl: Fix the Thunderbolt cmos option

For Thunderbolt to be disabled, `UsbTcPortEn` and `TcssXhciEn`
also need to be disabled.

Change-Id: Ie02c1e0ea7583bbd78e25c8184e2cdf2b6281741
Signed-off-by: Sean Rhodes <sean@starlabs.systems>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/77200
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Matt DeVillier <matt.devillier@gmail.com>

src/mainboard/starlabs/starbook/variants/rpl/Makefile.inc

@@ -7,3 +7,4 @@ romstage-y += romstage.c
 ramstage-y += devtree.c
 ramstage-y += gpio.c
 ramstage-y += hda_verb.c
+ramstage-y += ramstage.c

src/mainboard/starlabs/starbook/variants/rpl/ramstage.c

@@ -0,0 +1,11 @@
+/* SPDX-License-Identifier: GPL-2.0-only */
+
+#include <option.h>
+#include <soc/ramstage.h>
+
+
+void mainboard_silicon_init_params(FSP_S_CONFIG *supd)
+{
+	if (get_uint_option("thunderbolt", 1) == 0)
+		supd->UsbTcPortEn = 0;
+}

src/mainboard/starlabs/starbook/variants/rpl/romstage.c

@@ -40,6 +40,7 @@ void mainboard_memory_init_params(FSPM_UPD *mupd)
 		mupd->FspmConfig.VtdBaseAddress[3] = 0;
 		mupd->FspmConfig.TcssDma0En = 0;
 		mupd->FspmConfig.TcssItbtPcie0En = 0;
+		mupd->FspmConfig.TcssXhciEn = 0;
 	}
 
 	mupd->FspmConfig.DmiMaxLinkSpeed = 4;