I followed the wiki page from Debian
https://wiki.debian.org/InstallingDebianOn/96Boards/HiKey960
But it failed with some kernel module: dmi , thermal, cpu_clock.
What makes it worse is the kernel only recognized my Hikey960v2(4GB memory) as 3GB v1.
Here is the log from journalctl
Nov 04 01:16:42 hikey13 kernel: dmi: Firmware registration failed.
Nov 04 01:16:42 hikey13 kernel: rtc-pl031 fff04000.rtc: rtc core: registered pl031 as rtc1
Nov 04 01:16:42 hikey13 kernel: i2c /dev entries driver
Nov 04 01:16:42 hikey13 kernel: hisi_thermal fff30000.tsensor: failed to register sensor id 1: -19
Nov 04 01:16:42 hikey13 kernel: hisi_thermal fff30000.tsensor: failed to register thermal sensor: -19
Nov 04 01:16:42 hikey13 kernel: cpu cpu0: failed to get clock: -2
Nov 04 01:16:42 hikey13 kernel: cpufreq-dt: probe of cpufreq-dt failed with error -2
Nov 04 01:16:42 hikey13 kernel: sdhci: Secure Digital Host Controller Interface driver
Nov 04 01:16:42 hikey13 kernel: ufshcd-hisi ff3b0000.ufs: ufshcd_print_pwr_info:[RX, TX]: gear=[1, 1], lane[1, 1], pwr[SLOWAUTO_MODE, SLOWAUTO_MODE], rate = 0
Nov 04 01:16:42 hikey13 kernel: ufs final power mode: gear = 3, lane = 1, pwr = 1, rate = 2
Nov 04 01:16:42 hikey13 kernel: ufshcd-hisi ff3b0000.ufs: ufshcd_print_pwr_info:[RX, TX]: gear=[3, 3], lane[1, 1], pwr[FAST MODE, FAST MODE], rate = 2
Nov 04 01:16:42 hikey13 kernel: ufshcd-hisi ff3b0000.ufs: ufshcd_find_max_sup_active_icc_level: Regulator capability was not set, actvIccLevel=0
Any idea where can I get a proper working Debian kernel?
p.s. vdso is not working properly as get_time still using old svc calls.