Both pmd_populate variants set two pmd entries before
ensuring that they are flushed from the cache.  Separate
this functionality into __pmd_populate().
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>