Make i8259_init() more generic