I will be setting up a Windows laptop to dual boot Debian. If the machine has legacy BIOS, no problem as I've done that before. If it is a UEFI machine (possibly with secure boot, what should I be reading. TIA