Re: [U-Boot] [PATCH] x86: Force 32-bit jumps in interrupt handlers