Intel Performance Counter Monitoring - with FreeBSD fixes