Но они не сразу начинают работать. На ранних стадиях надо использовать early_printk.
early_printk если не разрешить в конфигурации кернела. Где-то в kernel hacking.