Das Werkstatt

I'm trying to install RHEL 6.5 from ISO images over the network, using the "Virtual Media" functionality of the IPMI interface of the Supermicro mainboards.
Booting the RHEL "boot" ISO works fine, but during installation, the installer pops up the following error message:

The Red Hat Enterprise Linux disc was not found in any of your CDROM drives.
Please insert the Red Hat Enterprise Linux disc and press OK to retry.

I "unplugged" the virtually mounted boot ISO and loaded the "Red Hat Enterprise Linux" install DVD and hit "OK" to retry.
Didn't work.

On the console terminal 3 (Alt+F3), I saw the following:

INFO: trying to mount CD device /dev/sr0 on /mnt/stage2
ERROR: Couldn't open /dev/sr0: No such file or directory

In console terminal 4 (Alt+F4) I saw that unplugging/replugging the DVD ISO registered a virtual CDROM properly as /dev/sr1 - instead of /dev/sr0.

[SOLUTION]
I unplugged/replugged the DVD ISO. Then I choose "Back" and re-selected to install from local CD/DVD drive.
Now, it "found" the virtual drive and continued the installation.

[PROBLEM]
Right after the installer found the virtual disc drive, it immediately quit with the following error message:

Running anaconda 13.21.215, the Red Hat Enterprise Linux system install - please wait.
exec of anaconda failed: Exec format error
install exited abnormally [1/1]
The system will be rebooted when you press Ctrl-C or Ctrl-alt-Delete.

Ouch.

[SOLUTION]
There's a bug report (#612232) for this, but it's not a bug, it's a human error:
I've mixed a 32bit boot-iso with a 64bit binary DVD image...