added enable_irqs() and disable_irqs() to kernel/irq