Re: [coreboot] [PATCH] outb(* 0x80) to post_code()