fixed bug of initialization command for i8259 in src/kernel/irq/i8259.c