You would need the Kodak Instant Kiosk profile to softproof your screen image, simulated to look like the kiosk output. Otherwise, how does your display know what your print output device is capable of?
Most printer companies, paper providers and some photo labs make their output device profiles available for you to download, so that you can softproof your images prior to printing. Some labs will provide you with calibration targets instead. With a profile for the specific output device (ie, paper+printer) you can have photoshop simulate the output of that device on your display - this is softproofing. THen, you print your images and compare the prints to the softproof display to see how well the simulated output on your calibrated and profiled display matches the actual printed output.
Once you find a display profile with appropriate calibration targets for your viewing environment that matches the printed output via softproofing, you can be confident that your image edited in a color managed application will match the printed output for that output device. Usually, you print a few test prints that have colors and tonal ranges that you can use as references. Once you have a match, you are good to go.
Red, for example, may be a particularly difficult color to get a good match without softproofing, as the kisok printer may not have a sufficient gamut to get the red you see on your display. If you had a kisok profile for softproofing, this problem could be identified and appropriate edits or choices in rendering intent could be made accordingly.
Keep at it!
Kirk