getentropy(2) doesn't need the kernel lock, so mark it with NOLOCK.

ok matthew@
If we find a bogus interrupt (undefined polarity or trigger) don't panic but
print a message and ignore the interrupt.  There are BIOSen out there with
random garbage in NMI entries for the non-BP CPUs.