Let us know the result.
Ok, since you said to let "us" know I will respond here rather than a PM.
I first cleared the contents of my 16GB SD card using RedHat Disk Utility 2.30.1.
I installed rpiCore-20121103.img.gz to the SD card with the following:
gunzip < rpiCore-20121103.img.gz | dd of=/dev/sdf bs=1M
I viewed contents of the SD card (using RedHat Disk Utility 2.30.1). There is now a 39MB FAT32 (0x0c) partition on the SD card.
I created a 1GB ext4 (0x83) partition named tce (again using RedHat Disk Utility 2.30.1)
I mounted the partition and created a folder named "tce" on the root of this partition.
I unzipped the contents of the TC.ZIP file to the tce folder (contained ondemand, optional, firstrun, onboot.lst, xwbar.lst)
I created a 1GB Linux swap (0x82) partition (again using using RedHat Disk Utility 2.30.1)
I installed the SD card into the Raspberry Pi and was booted into the CLI
I typed startx at the command line and received the following response
-sh: startx: not found
I typed the following:
ls /mnt
and received the following response:
mmcblk0p1/ mmcblk0p2/