Tiny Core Linux fits nicely on a FAT32 EFI boot partition as a rescue OS.

Hey, this sounds interesting! Is there any tutorial out there on how to make it work?