“Although the service manual does not list a 32GB option and it MAY be limited in the BIOS, is it possible to install 2 x 16GB RAM SODIMMs to make it a total of 32GB?”