FreeBSD_HEAD - Build #3347 - Fixed

[jenkins-admin at FreeBSD.org]

FreeBSD_HEAD - Build #3347 - Fixed:

Build information: https://jenkins.FreeBSD.org/job/FreeBSD_HEAD/3347/
Full change log: https://jenkins.FreeBSD.org/job/FreeBSD_HEAD/3347/changes
Full build log: https://jenkins.FreeBSD.org/job/FreeBSD_HEAD/3347/console

Change summaries:

288824 by br:
Attach interrupt controller device before other devices.

Sponsored by:	University of Cambridge

288780 by markm:
Fix printf-like formats for KASSERT.

Submitted by:	jenkins
Approved by:	so (/dev/random blanket)