add default_workspace.xml overlay

patchset 3: math is hard lol

Change-Id: If35ee248f890cbfdb2e64a86aa45fad0fae34f98