x86: ivybridge: Allow 32-bit init to move to SPL