From e7b43a6550fa6d46f9189e6758ec51d56b48ddf2 Mon Sep 17 00:00:00 2001
From: Vladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Date: Tue, 27 Apr 2010 21:42:45 +0200
Subject: [PATCH] Use hasbrokenint12

---
 tests/boot/kfreebsd.cfg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/boot/kfreebsd.cfg b/tests/boot/kfreebsd.cfg
index 71b97b67e..8f339cd7f 100644
--- 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