fix interrupt sources, add freebsd dmesg