You can choose between American Megatrends and coreboot. They have a FAQ with the pros and cons[1]. But I have a hard time seeing why anyone would choose the proprietary American Megatrends firmware, especially since the laptop is targeted towards Linux users. Are they offering the choice for their older customers who are used to the American Megatrends UI? Or maybe to not anger the supplier (American Megatrends) that they've been working with for years?

[1] https://support.starlabs.systems/kb/faqs/ami-aptio-v-vs-core...