open_platform_file
fd = open_platform_file(filename, boot_open, NULL, fullpath);
extern int open_platform_file(char *,