Fix loadv2i32 to be loadv4i32, though it isn't actually used anywhere yet.