armv8/startup_arch: No need to context switch after building page tables.
armv8/startup_arch: No need to context switch after building page tables.

Signed-off-by: Moritz Hoffmann <53ba0aa052d551db5cb133c62d34e71044d0deba@hpe.com>

kishoredbn/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish