It seems at some point that the emulator learned new environment variable, making it possible for AVDs to live anywhere:

PANIC: Could not find foobar.ini file in $ANDROID_AVD_HOME nor in $HOME/.android/avd

It won't make too much of a difference, but maybe we could use this, rather than having to set the androidSdkHome value to $WORKSPACE all over the place.