Remove info on 64-bit now that we’ve reverted to 32-bit for now