From what I hear, installing Linux on Apple hardware is a bit more complicated than that. They might be stuck using a distro like Asahi. I’ve never bought any Apple hardware, so I have no experience with this myself though, so someone please correct me if wrong.