Re: [SeaBIOS] [PATCH 3/3] Changes related to secondary buses and 64bit regions