Maybe we GNU/Linux users should start to complain more to motherboad manufacturers when there is a problem in GNU/Linux because of badly coded BIOS. If they don't see demand from GNU/Linux users they obviously don't think it is worth supporting it properly. But if there was much more pressure, especially in this case when there are so many people affected, we could become a visible group of users.