I'm not sure which version of tinycore you're using, but if you're using the latest version, then you need linux-3.8.13-patched.txz and config-3.8.13-tinycore.
Once you've copied config-3.8.13-tinycore to the top level of the unpacked kernel source and renamed it to .config, you need to "make oldconfig" and then "make modules".