Re: [U-Boot] [PATCH v2 23/63] x86: ivybridge: Allow 32-bit init to move to SPL