My son’s laptop running windows 32-bit got the upgrade yesterday. My other laptops are 64-bit. Does anyone know if it’s possible after I download the ISO to clean install 64-bit onto his laptop and get rid of 32-bit?