I was able to setup config to include VGA bios and it seems to work but it happens late in the flow, so a lot of printk messaages are not seen, they only become visable after calling dev_initialize().
2 questions: * How can I get it so early printk messages come up? * Shouldnt there be an option to hit f-10 or some other key to get into CMOS?