Re: [PATCH] x86/i8259: Work around buggy legacy PIC