[OpenBIOS] [PATCH] remove useless printk