HSECLK properly selected and clocked at 72MHz