CorePlus is 32 bit.
I understand that. I'm stating that in order to do a complete 64-bit remix of CorePlus, I would need the specified 64-bit module packages. Without those, I can only achieve a partial 64-bit CorePlus. (And yes, I know that with vmlinuz64 and core64.gz, the userspace is still 32-bit.)
Note that the packages I am requesting have 64-bit versions for the 3.0.3-tinycore64 kernel, but there are not yet any for 3.0.21-tinycore64.