Linux Mint 15 KDE hands-on: A stumble on UEFI Boot