openbios: add printk patch