CURRENT: Ivy Bridge CPU (i3-3220) and Intel Bull Mountain RNG (options RDRAND_RNG)

I tried the new option "options RDRAND_RNG" on my SOHO server, equipted
with a Intel i3-3220 "Ivy Brdige" CPU, which is supposed to have the
Bull Mountain random number generator as a piece of hardware in its
uncore.

Enabling the kernel option doesn't reveal any presence of such a
hardware number generator. "sysct kern.random" always reports 

kern.random.adaptors:  yarrow

By intentionally disallowing yarrow via commenting out options
YARROW_RNG, the box reports "no adaptors loaded". So, either this Ivy
Bridge has been castrated and ripped off by Intel of its RNG or FreeBSD
isn't capable of detecting it properly or I'm incapable of properly
configure the kernel.