That's right! AMD9520Controller and AMDRadeonX42000 are the new kexts in 10.12.6 Beta 3 which have full support for RX 580. This GPU shares its PCI ID with RX 470, 480, and 570.
Question : Not meaningful hacks since RX480 OOTB in 10.12.6, but i wonder to if want fix cosmetics stuff like 'R9 XXX' I'm still required to edit AMD9510Controller in 10.12.6 right?
also, current 10.13 beta still displaying R9 XXX.