I lost hours because I didn't understand why bit-banding doesn't work with the ADC.
Appears that the bit-banding covers the address range from 0x40000000 to 0x400fffff and
the ADC, RNG, AES and GPIOx peripherals are outside that region. No warning, not mentioned anywhere...