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