[SeaBIOS] [PATCH 2/3] Only add "addr32" to memory accesses that require them