7cur: SMP kernels /w POLLING enabled - combination garbles (syncer?) console line message(s) on reboot

[Chargen]

7cur: SMP kernels /w POLLING enabled - combination garbles (syncer?) console
line message(s) on reboot

SMP kernel with POLLING enabled garbles one or more of the last lines in
console after issuing the {reboot} command

options DEVICE_POLLING
options HZ=1000

with or without sysctl -w kern.polling.enable=1 or sysctl -w
kern.polling.enable=0

The garbled lines are between 'shutting down bufdaemon' and 'all buffs
synced'   (after 'bufdaemon', I presume these are the syncer, 'Syncing
disks, vnodes synced' lines)

I found it only reproducable with SMP /apic enabled kernel. Console messages
after issuing reboot on UP kernels with polling_enabled  are readable.

Note: polling wasn't manually set on any device (tested on UP and SMP
kernels) e.g.: no   ifconfig em0 polling