[LinuxBIOS] printk()/post_code(): Compile failure for all hardware targets in v3