/* Set boot file name to check. If the boot file name is specified, the default check list will be disabled.  */
void media_set_file_name(const char *name)
/* Set boot file name to check. If the boot file name is specified, the default check list will be disabled.  */
void media_set_file_name(const char *name)
{
	file_names[0] = (char*)name;
	if (name) {
		dbg_print("media: boot file name %s\r\n", name);
	}
}