x86: Correct address casts in interrupt code