[OpenBIOS] mailing list changes