Check if platform supports 64 bits