1. 2014-07-19 [5] KDB entry on NMI freebsd-amd Konstantin Belou 2. 2014-07-02 [2] [head tinderbox] failure on amd64/amd64 freebsd-amd FreeBSD Tinderbo