I have mvme162lx board (68040 processor NO fpu) before testing, I would like to know if netbsd 4.0 kernel image are enable to boot or need recompile with a soft-fpu options ?