MFC r256533:
Unhide "Serial Number" lines from bootverbose.  That information may
be useful for system administration to have in hard copy (in logs) if
one of several devices suddenly dies.

(cherry picked from commit 91f2b96b201c5c579f6681cb35cbc90d6d079c4a)
MFC r256552:
Unify periph invalidation and destruction reporting.
Print message containing device model and serial number on invalidation.

(cherry picked from commit 690b084ad09c2abcca3ee315fe51ebf288ad36e5)