Oh, my mistake. This time I booted from a Live CD instead, also in EFI mode. The DVD was burnt from a fresh downloaded Cinnamon image, which appeared to have the right MD5.
Oh, my mistake. This time I booted from a Live CD instead, also in EFI mode. The DVD was burnt from a fresh downloaded Cinnamon image, which appeared to have the right MD5.