...
All systems at serial number AVD01201214234 (from January 2012) or later are manufactured at with Dual OS. For systems with an earlier serial number, do the following to determine whether it shipped with Dual OS or not:
...
General
Content
Integrations