rename util/stringify.h to util/macros.h (expect more magic to come)
kernel/mm.h: add __attribute(malloc) to kmalloc (helps with optimization)
new approach to dealing with IRQ handlers; add hw IRQ numbers