Re: [SeaBIOS] [PATCH 01/15] Access DC registers via geode_mem[Read|Write]