don't forget the wonderfulness of earlyprintk when booting a linux kernel and you are not sure if it is right. you just append it to the command line. Here is one example. I use 'keep' when I'm really being paranoid. earlyprintk=ttyS0,115200,keep ron