The F11 instructions don't work.

F15 doesn't have a file named boot.iso at /mnt/iso/images.

There is a directory called pxeboot there, but it doesn't have any iso files ?????