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