No son necesarios name ni id. Con una línea como esta valdría. Es de una aplicación mía... vamos, que funciona, lo que pasa que lo hago clicando sobre una imagen en vez de una palabra:
echo "<div><a href='pcr1.php?login=$usuario'><img alt='Volver' src='volver.png' title='Volver' width='30' height='30' border='0px' /></a></div>\n";
Para lo tuyo sería mas o menos como dice Jeibi. Hay que llevar mucho cuidado con las comillas:
echo "<a href='default.php?plataforma=PC' class='Estilo1'><div>PC</div></a>";