[SeaBIOS] [BUG?] SeaBIOS memcpy copies only 0x04 bytes instead of 0x8c