Workspaces for lnt-ctmark-aarch64-Os #8610