[Translating] 20141118 How to boot on an ISO image from Grub.md