MAX, sockets & short list

Do I not need to wait for MSI MAX boards to appear? Some sites say bigger bios chip versions will come out, others tell me they chopped the GUI and everything still works on the current boards if you update. But the bios snafu seems just like it’s ongoing.

AMD is coming out w/ a new socket next year, correct?

Finally, I could use some help. Do any of the following boards not play well w/Linux flavors: Strix B450-F, Asus Prime X470 Pro, Asrock B450 Pro4 or B450M Pro4?

How about Asrock B450 fatal1ty gaming K4 or Master X470 SLI/AC?

Thanks in advance for your advice,