There was wlp3s0 in the live boot, I could even connect to wifi on the live cd environment. But when I booted my actual Gentoo install, all I get after invoking ifconfig is ethernet enp2s50 and lo, no more wlp3s0. I used genkernel