=============================================================================

CPU kernel module was installed.

To load it, issue

% kldload cpu

Then you can access MSR registers or cpuid info via /dev/cpu%d or using
3d-party programs, e.g. x86info.

For information regarding microcode update feature refer to
cpu_mictocode_tool(4) manpage.

Please, report any problems to maintainer. Thanks!

=============================================================================