[SeaBIOS] Re: [PATCH] Major bug in src/farptr.h