Re: [U-Boot] [PATCH 14/20] x86: Provide access to the IDT