[SeaBIOS] Mailing list update