As you'd expect the M350C happily booted a copy of 64-bit Tiny Core 13.1 from a UEFI formatted 4GB pen drive.
