After further research, I think this is related to the firmware on the Dell system I’m using… T5610. I tried this on a T5600 with the same proc, and it works fine. I ran a BIOS update, and that didn’t fix it..
It appears there have been previous reports of Dell firmware causing this issue.