David Woodhouse d16f433e42 x86: Add Geos profile for Geode subtarget %!s(int64=9) %!d(string=hai) anos
..
000-Generic.mk d16f433e42 x86: Add Geos profile for Geode subtarget %!s(int64=8) %!d(string=hai) anos
100-Geos.mk d16f433e42 x86: Add Geos profile for Geode subtarget %!s(int64=8) %!d(string=hai) anos