Re: [U-Boot] [PATCH 42/69] x86: Add comments to the SIPI vector