Re: [SeaBIOS] [PATCH] Make MTRR region 0xc0000-0x100000 be cached.