Nominations open for Gentoo foundation board of trustees