[SeaBIOS] [PATCH] EHCI: Add support for 64 bit capability