[PATCH v1 14/24] configs: tdx: Do not overwrite fdtfile if it got set manually