Es muy extraño, ya que ellos lo implementaron antes...
Ha de ser que no especificas color para el borde, ya que "Border" debe tener forzosamente grosor, tipo y color... Pero bueno, IE suele ignorar lo que falta cuando falta algo
... Es como cuando no especificas unidad "px", Firefox y Chrome lo ignoran, pero IE lo pone en px por default.