ARM, RISC-V контроллеры

Время преобразования АЦП у STM32 В reference manual есть следящая строчка: «The ADC input clock is generated from the PCLK2 clock divided by a prescaler and it must not exceed 14 MHz, refer to Figure 8: Clock tree for low-, medium-, high- and XL-density devices, and to Figure 11: Clock tree for connectivity line devices.» из которой следует, что тактирование АЦП идёт от PCLK, через предделитель (ADC PRESCALER). И максимальная тактируемая частота АЦП не должна превышать 14 МГц (ADCCLK). Теперь сам вопрос. В Keil’e в готовом библиотечном файле STM32_Init.c в конфигурационном визарде есть настройка тактирования перефирии, в том числе и АЦП. В котором для моего проца установлено SYSCLK=72 МГц, AHB RESCALER = 1 ( HCLK=SYSCLK), APB2 RESCALER = 1 (PCLK2= HCLK) – т.е. до сюда идёт везде тактирование 72 МГц. Во вкладке ADC PRESCALER можно устанавливать предделитель /2/4/6/8, казалось бы для моей частоты и в соответствии с reference manual, значение пределителя может быть 6 или 8, но компилятор успешно всё компилет и заливает в проц, независемо от того что я выбираю в ADC PRESCALER. Всё работает но мне не ясно с какой же частотой АЦП тактируется. Разъясните, пожалуйста, кто с этим сталкивался? видимо, что то я до конца не знаю