[Spike64] Fixes for 64-bit build