[LinuxBIOS] [PATCH 2/2] v3: improve printk documentation