Re: [U-Boot] [PATCH v4 13/15] x86: Rename coreboot-serial to x86-serial