What is an EFI Boot DVD and what does the checkbox "Booktype DVD-ROM" do?