I got the code to compile. The issue was in kernel/setup.c:580. The CONFIG_XMON wrapper needed to be up moved around the map_bootx_text() call as such: old code: #ifdef CONFIG_BOOTX_TEXT map_bootx_text(); #endif #ifdef CONFIG_XMON new code: #ifdef CONFIG_XMON #ifdef CONFIG_BOOTX_TEXT map_bootx_text(); #endif Now I'll actually try to boot ;-) jas.