Re: [U-Boot] [PATCH] serial: Rename driver vcth to vct to support other board variants