OvmfPkg/AmdSevDxe: rewrap to 79 characters width