Re: [LinuxBIOS] [PATCH] Document POST codes emitted by LinuxBIOS