I have a 16GB, class 10 SD card, is it possible to apply your procedures to boot 4 OS's with just one card? I can format the card with 4GB partitions.