As usual I had no problems booting and running the current 64-bit version of Tiny Core Linux (13.1). This I booted in UEFI mode.
I did have some odd behaviour in trying to use the Legacy mode. You may need to experiment a little bit with the BIOS settings to get your particular flavour of Linux to boot.