x86_64: prepare shared kernel/nmi.c