Sorry, don't know exactly how in that one but it's in the BIOS or UEFI. it should be called something like "Windows Boot Device" in UEFI. Should be able to find instructions in the manual. There's probably also a setting like Fast BOOT or ultra fast boot.