[U-Boot] [PATCH 14/40] x86: Support booting with TPL