recuperi il valore della SELECT con
echo $_POST['ComOS']
quindi se per ogni voce aggiungi un if tipo
dove $_POST['ComOS'] è uguale al tuo valore del value..Codice PHP:
<OPTION <?php if ($_POST['ComOS'] == "pm3_3.7.1") { echo "selected=\"selected\""; } ?> label="3.7.1" value="pm3_3.7.1">PortMaster 3 con ComOS 3.7.1</OPTION>