Merge patch from Mitch Williams

Enable filtering and user-specified timing interval
Print the full interrupt name (instead of the interrupt type and a tiny
bit of the name)