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