Re: [LinuxBIOS] [PATCH] v3: post_code.h / console.h fixup