[SeaBIOS] Major bug in src/farptr.h