[PATCH 101/171] Correct SPL uses of I8259_PIC