/recipes-bsp/tdx-k20-fw/