[U-Boot] [PATCH 22/82] x86: Correct address casts in interrupt code