[PATCH v2 07/11] configs: tdx: Do not overwrite fdtfile if it got set manually