Use hasbrokenint12

diff --git a/tests/boot/kfreebsd.cfg b/tests/boot/kfreebsd.cfg
index 71b97b67e9567c91de353a367a3f44e7353c5445..8f339cd7f634a442f604cc57c0bcca7831c82f8e 100644 (file)
--- a/tests/boot/kfreebsd.cfg
+++ b/tests/boot/kfreebsd.cfg
@@ -1,6 +1,7 @@
 kfreebsd /kfreebsd -h
 kfreebsd_loadenv /kfreebsd_env
 kfreebsd_module /mfsroot type=mfs_root
+set kFreeBSD.hw.hasbrokenint12=1
 boot
 # Shouln't happen
 halt