In twentyeleven's functions.php, this chunk of code loads the admin theme options...
// Load up our theme options page and related code. require( dirname( __FILE__ ) . '/inc/theme-options.php' );
The problem is that I'm creating a child theme, and this code will always load theme-options.php from /wp-content/themes/twentyeleven/inc.
I'd like a workaround that doesn't involve modifying twentyeleven, but I don't think one exists.
This is, at best, a bad design decision, and, at worst, an outright bug. Do you have a Bugzilla or Trac site, or another place where I can report this problem?