Right, my thumb drive is formatted as FAT32, but getting an MKV file of that size on said thumb drive without splicing the file is a can of worms I just don't want to open. Plus, as far as I know, I don't believe the PS4 will play an MKV file's audio if it's DTS HD-MA.
So I'll go the blu-ray burning route. Thanks!