Bug#929528: [arm64] Enable support for SCPI sensors

[Markus Geimer <mg1102@web.de>]

Package: src:linux
Version: 4.19.37-3
Severity: wishlist

Dear Maintainer,

Please consider adding the following Kconfig options for ARM64:

CONFIG_ARM_SCPI_PROTOCOL=m
CONFIG_SENSORS_ARM_SCPI=m
CONFIG_PLATFORM_MHU=m

This change has been successfully tested based on 4.19.37-3 on an Hardkernel
Odroid-C2 and makes the CPU temperature sensors available on that platform.
(Note that I don't have any other board to test this, but since it's all
modules it's probably quite safe.)

Thanks,
Markus

-- System Information:
Debian Release: 10.0
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: arm64 (aarch64)

Kernel: Linux 4.19.0-5-arm64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US:en (charmap=UTF-8)
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)