According to the description of Section 7.3.2 "Error code correction (ECC)" in the RM0456 manual, reading the data at address 0x0BFA1F80 is supposed to generate an NMI interrupt.However, when I tried to read the data at this address, no NMI interrupt...