title: CortexA15 coprocessor15 c15 register cannot be written
body: <p>When I write a value to the cp15 c15 reg, it does not take effect, even though I wrote to it from a kernel module.</p>
  
  <pre><code>kernel: 3.10.2
  platform: arndale board
  operating system: linaro ubuntu 13.07
  </code></pre>
  
  <p>Could someone give me a hand?</p>