Make sure we executed the instruction before continuing. Also replace calls to drain the write buffer with the correct ones for armv7.
Make sure we executed the instruction before continuing. Also
replace calls to drain the write buffer with the correct ones for armv7.

ok miod@

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars