bewildered, but happy.
I rebooted, and there was no change. but then I powered down all the way, and all the way back up. Now I have DRI, so maybe the BIOS wasn't reloading properly on a soft reboot. I'm not going to tempt fate by delving deeper. Thanks!