https://bugzilla.kernel.org/show_bug.cgi?id=49351
--- Comment #7 from Alex Deucher alexdeucher@gmail.com 2012-10-23 15:19:20 --- It should be printing. Make sure you've booted the right kernel and are using the right module. If you are using an initrd, make sure it's up to date. Make sure you aren't redirecting your kernel output somewhere. Maybe check /var/log/messages as well.