Hey Paul,
You are correct, this information should not be present, especially after a battery pull. Question, are you using or saving configuration profiles? If yes, and these devices were part of it, that might be why they appear now.
What is your current DVD device? What happen if you select it? You can also try selecting the old TSST for alternate boot and see if this forces that portion of the BIOS to update itself.