armv8/sysreg: Change sysreg_write_ttbcr parameter type to 64 bit.
armv8/sysreg: Change sysreg_write_ttbcr parameter type to 64 bit.

Was 32 bit before.

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

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