Added a very basic PCI IRQ handler
Cleaned up boot output