84a5818564
On some ARM variations CPU func dispatcher has the D-cache invalidate method point to write-back invalidate, which is wrong, and can lead to a crash/panic on affected platforms. Spotted by: HPS Reviewed by: cognet Approved by: re (kib)