Workspaces for lnt-ctmark-aarch64-Os #8611