Do you know the mfgr. (manufacturer) of the Samsung's MoBo (Mother Board)?
What is the BIOS version, and by whom?
It could well be that they used a MoBo from a producer, such as Clevo, and a standard BIOS ROM chip, and someone can track down the full specifications for your laptop.
Good luck,
Hunt
PS - Device Manager's settings will likely be over ruled at boot up, by the BIOS, which always starts first.