[U-Boot] [PATCH v3 22/62] x86: ivybridge: Allow 32-bit init to move to SPL