Porphyrellus is the correct genus for Tylopilus porphyrosporus.

See recent molecular studies by Wu et al. (2014 & 2016)

Species Fungorum http://www.speciesfungorum.org/Names/SynSpecies.asp?RecordID=254070

Porphyrellus is also the current name on Mushroom Observer: https://mushroomobserver.org/name/show_name/16583