Nintendo et Sony, Virtual Boy, Mario sur PS4