[U-Boot] [PATCH 42/82] x86: ivybridge: Allow 32-bit init to move to SPL