Upgrading the UEFI BIOS from version 0705 x64 08/23/2011 to 1007 02/10/2012 did not help: the exact same problem remained.
Seating one of the remaining DIMMs in slot #4 still allowed it to be used, so the slot is fine.