Improved device model detection

Author: hmlendea

scripts/common/filesystem.sh

@@ -56,6 +56,7 @@ ROOT_PROC="${ROOT_PATH}/proc"
 ROOT_ROOT="${ROOT_PATH}/root"
 ROOT_SRV="${ROOT_PATH}/srv"
 ROOT_SYS="${ROOT_PATH}/sys"
+ROOT_SYS_DEVICES="${ROOT_SYS}/devices"
 ROOT_USR="${ROOT_PATH}/usr"
 
 [ "${DISTRO_FAMILY}" = 'Android' ] && ROOT_USR="${ROOT_PATH}"

scripts/common/system-info.sh

@@ -178,7 +178,9 @@ function get_arch_family() {
 }
 
 function get_device_model() {
-    if [ -f "${ROOT_PROC}/device-tree/model" ]; then
+    if [ -f "${ROOT_SYS_DEVICES}/virtual/dmi/id/product_family" ]; then
+        cat "${ROOT_SYS_DEVICES}/virtual/dmi/id/product_family"
+    elif [ -f "${ROOT_PROC}/device-tree/model" ]; then
         local DEVICE_MODEL=$(cat -A "${ROOT_PROC}/device-tree/model")
 
         if echo "${DEVICE_MODEL}" | grep -q "Raspberry Pi 3"; then