Updated stdio and keyboard irq