Hi there!
I recently installed Linux Mint 15 along with my Windows 8 (probably 8.1, I cannot remember if I updated it or not). I remember some time ago I restarted Linux and as the DELL logo appeared I pressed F12 to enter the boot options and I selected Windows UEFI boot. Windows seemed to...