[AVR32] Fix bug in invalidate_dcache_region()