Re: [coreboot] [PATCH] basic realmode handlers for int 0x10 and int 0x16