Re: [OpenBIOS] [PATCH] Fixes printk so it prints very large strings