How to add IE specific stylesheet in drupal 7 in drupal way
You don't hack Drupal core if you add that to your THEME's html.tpl.php but anyway you can try implementing hook_html_head_alter() in your theme's template.php