This one BIOS setting can cut your PC’s boot time nearly in half — and no, it isn’t Fast Boot