int networkmenu(struct keyvalue *ethernetkv);
/* net.c */
-int checktarball(char *);
+int checktarball(char *, char *message);
/* config.c */
int write_disk_configs(struct devparams *dp);
/* pcmcia.c */
char * initialize_pcmcia (void);
-/* upgrade_v12_v13.c */
-int upgrade_v12_v13();
-
-/* upgrade_v130_v131.c */
-int upgrade_v130_v140();
-
/* usb.c */
int initialize_usb();
int write_usb_modules_conf();