I eventually figured that out. The document has a table titled "SW2 Settings", but the last row of that table of SW2 settings is in fact an SW3 setting.
The SW3 settings table is mostly about selecting which bank of flash to use, and the last line about selecting the sd versus eprom source seems out of place and seems to contradict the SW2 table. This should really be cleaned up and clarified.
So, I tried setting SW3 pin 4 with my SD card in place, and the machine failed to boot.
How does the SD card need to be formatted? Can I just place the .bin file on a FAT formatted sd card?
Does the bin file need to have any special name? I used the PBL.bin file I got out of the QCVS "processor expert" tool.
Or do I need to copy the bin file contents directly onto the SD card media using the unix 'dd' command?
Is this actually documented anywhere?