ide/piix.c: use DEBUG logging instead of kprintf