Can't reproduce. Tested piCore-13.0.2 on RPi 3B Plus. Installing wireless-tools from the repo it correctly fetches wireless-5.10.16-piCore-v7. Modules are loaded as it can be seen with lsmod which shows downloaded modules match the kernel. Checked v7 repo, in contains only v7 kernel modules.
Please try a clean install.