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