printf's in cpu_startup()

[Chuck Tuffli <chuck_tuffli@xxxxxxxxxxx>]

Assuming verbose booting is enabled, should the printf's in
cpu_startup() (sys/i386/i386/machdep.c) appear on a comconsole?
I was trying to understand the results of the bumping phys_avail[] to
more entries but don't see any of these printf's in the capture logs.

-- 
Chuck Tuffli
Agilent Technologies