Move from the Garland theme.
function system_update_8001() {
$themes = array(
'theme_default',
'maintenance_theme',
'admin_theme',
);
foreach ($themes as $theme) {
if (update_variable_get($theme) == 'garland') {
update_variable_set($theme, 'bartik');
}
}
}