Latest batches of boards are coming with BIOS updated. In case its not, the vendor can do it before shipping. You can confirm that before purchase.
In the unlikely scenario that the above two is not applicable, he can get a boot kit free from AMD... https://support.amd.com/en-us/kb-articles/Pages/2Gen-Ryzen-AM4-System-Bootup.aspx
Latest batches of boards are coming with BIOS updated. In case its not, the vendor can do it before shipping. You can confirm that before purchase.
In the unlikely scenario that the above two is not applicable, he can get a boot kit free from AMD... https://support.amd.com/en-us/kb-articles/Pages/2Gen-Ryzen-AM4-System-Bootup.aspx