fixes: IRQ freeing and printing in 1K mode