Fixes #4914: display the Manufacturer and System Serial Number, and allow to search in it