haber si te puedo ayudar...
<select name="platform">
En el script debes llamar a esta variable como
Código PHP:
$_POST ["platform"]
, si es que tu PHP tiene register_globals=OFF en el php.ini o lo puedes dejar tal cual si es que register_globals está en ON.
Y recuerda lo q te dijo McManaman, debes poner la línea session_start() en todos aquellos scripts que requieran variables de sesión, esto garantiza que puedas recuperar los valores de tus variables evitando tener que pasarlas por el método GET.
saludos