I don't know if it's related, but I've seen something similar about 3 times on 7-STABLE. On real hardware. http://www.freebsd.org/cgi/query-pr.cgi?pr=kern/134584