In addition to "rtlwifi-4.8.17-tinycore.tcz" which was uploaded to TC-8.x x86 repo last week, rtlwifi-4.8.17-tinycore64.tcz has been submitted to TC-8.x x86_64 repo and should appear in the 64bit repo ady day now.