* kernel/core/386/fns.h: mmuinit0