Index: sys/conf/files.mips
===================================================================
--- sys/conf/files.mips
+++ sys/conf/files.mips
@@ -52,7 +52,7 @@
 kern/link_elf_obj.c			standard
 kern/subr_busdma_bufalloc.c		standard
 kern/subr_dummy_vdso_tc.c		standard
-kern/subr_sfbuf.c			optional	mips | mipsel | mipsn32
+kern/subr_sfbuf.c			standard
 
 # gcc/clang runtime
 libkern/ffsl.c				standard
@@ -61,8 +61,8 @@
 libkern/flsl.c				standard
 libkern/flsll.c				standard
 libkern/memmove.c			standard
-libkern/cmpdi2.c			optional	mips | mipsel
-libkern/ucmpdi2.c			optional	mips | mipsel
+libkern/cmpdi2.c			optional	mips | mipshf | mipsel | mipselhf
+libkern/ucmpdi2.c			optional	mips | mipshf | mipsel | mipselhf
 libkern/ashldi3.c			standard
 libkern/ashrdi3.c			standard
 
Index: sys/conf/options.mips
===================================================================
--- sys/conf/options.mips
+++ sys/conf/options.mips
@@ -50,9 +50,13 @@
 
 # which MACHINE_ARCH architecture
 MIPS
+MIPSHF
 MIPSEL
+MIPSELHF
 MIPS64
+MIPS64HF
 MIPS64EL
+MIPS64ELHF
 MIPSN32
 
 COMPAT_FREEBSD32	opt_compat.h
Index: sys/mips/conf/JZ4780
===================================================================
--- sys/mips/conf/JZ4780
+++ sys/mips/conf/JZ4780
@@ -3,7 +3,7 @@
 # $FreeBSD$
 
 ident		JZ4780
-machine		mips mipsel
+machine		mips mipselhf
 cpu             CPU_XBURST
 cpu             CPU_MIPS4KC