Remove Gentoo install notes about #1422 workaround