ECC memory driver in FreeBSD 10?

I'm looking for a way to force FreeBSD 10 to maintain/watch ECC errors
reported by UEFI (or BIOS).
Since ECC is said to be essential for server systems both in buisness
and science and I do not question this, I was wondering if I can not
report ECC errors via a watchdog or UEFI (ACPI?) report to syslog
facility on FreeBSD.
FreeBSD is supposed to be a server operating system, as far as I know,
so I believe there must be something which didn't have revealed itself
to me, yet.

Thanks in advance,
Oliver

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (FreeBSD)

iQEcBAEBAgAGBQJPftf5AAoJEOgBcD7A/5N86xMH/2nagjWVsi949+DF9i/oX5KI
W/qaJTwJPgBGxmh9r/FRTq9b9caSaZIFOI1chXL2Z3Z5Yg3uHJaJMvYRlm0gdBMu
svd5AlkyxCF8JTBw4AOSUucSdv+3IjOf0C7Mfs2JXfMah1J+j27Id4gA4oVAb8Cm
ik98UD1n22r4yhl86DorOsoDnUbpiZipkANTVnew2IGviXZJhB74Zv21vvs4mvt5
xvQk+ccPMj9g2IUC8Taeq7xLjNbsM1fay+pB0v4VliUR+ivqMjGarZU+KWtw79wV
qE78Tvzt9GvKFN5VE4KGoPYJEtx8YMzERpYeNABfT30sZOoGrljJf7ijWTFaydc=
=kHNS
-----END PGP SIGNATURE-----