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