This laptop had been recently upgraded from Windows 7 to Windows 10. This process was fairly straightforward, and the laptop works perfectly now. A key element of this was finding and installing the various drivers to suit.

In particular, the Intel RAID driver needs to be downloaded from the Intel website, and also the fingerprint drivers need to be found and installed.