Fix macros in kernel.inc