Has anyone successfully used an AMD Ryzen 5 3600 on an MSI B450 TOMAHAWK MAX with the stable release of Debian 10 as the operating system ?