[coreboot-gerrit] Change in coreboot[master]: arch/arm64: Use variables of the right size for msr/mrs opcodes