Just FYI, I downloaded the tinycore iso today, and while the isolinux file looks for vmlinuz correctly, syslinux still does not (still looks for bzImage).
I manually changed syslinux file to look for the vmlinuz kernel, and was able to get past the boot sequence.
After that, I ran into kernel panic, but I guess that's a different topic there.