Added 32-bit iso image with UEFI 64bit support
Some polishing