kfreebsd /kfreebsd -h
kfreebsd_loadenv /kfreebsd_env
kfreebsd_module /mfsroot type=mfs_root
set kFreeBSD.hw.hasbrokenint12=1
boot
# Shouln't happen
halt