[SeaBIOS] [PATCH] Use 32bit memcpy in int1587 when applicable