[U-Boot] [PATCH 13/40] x86: Support SPL and TPL