65d6c884bfbd ("Documentation: Document PowerPC kernel DEXCR interface")