Moved minpoly.* into kernel/