Re: [U-Boot] [PATCH 12/23] x86: Adjust the FSP types slightly