Workspaces for lnt-ctmark-aarch64-Oz #8618