Request bootfile name; it doesn't seem to be automatically supplied by