bitrig/bitrig — pull request #35 by Bluerise (2014-10-18 21:36:32+00:00)
Title: arm: drain the write buffer on every pte sync

Currently we keep the pagetables uncached. This means that we
don't need to take care of flushing the L1- and L2-Caches when
we change something there. But what we forgot is that the write
buffer has to be emptied manually if we want to make sure the
changes get to the memory as soon as possible.

What happens at the moment is that when we change something in
the pagetables, we do not make sure it hits memory ASAP.

Therefore, drain the writebuf every time we call PTE_SYNC.

This fixes the issues seen when trying to boot Allwinner A20
based systems.