git: 73ad5af7d908 - main - arm64: Unbreak LINT build

The branch main has been updated by manu:

URL: https://cgit.FreeBSD.org/src/commit/?id=73ad5af7d90894cdf9f829cecb45af506bbe2dba

commit 73ad5af7d90894cdf9f829cecb45af506bbe2dba
Author:     Emmanuel Vadot <manu@FreeBSD.org>
AuthorDate: 2025-01-06 11:50:51 +0000
Commit:     Emmanuel Vadot <manu@FreeBSD.org>
CommitDate: 2025-01-06 11:50:51 +0000

    arm64: Unbreak LINT build
    
    Add the recently added options SOC_ROCKCHIP and device rk8xx.
    While here add options SOC_ROCKCHIP_RK3568 and device rk808/rk817
    which where never added.
    
    Fixes:  48db612d8939 ("arm64: Add a new SOC_ROCKCHIP option")
    Fixes:  ad1bf74705e4 ("arm64: rockchip: Add a new rk8xx device")
---
 sys/arm64/conf/NOTES | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/sys/arm64/conf/NOTES b/sys/arm64/conf/NOTES
index b3bf2fedd5f7..54bc7dcf1f09 100644
--- a/sys/arm64/conf/NOTES
+++ b/sys/arm64/conf/NOTES
@@ -43,8 +43,10 @@ options 	SOC_INTEL_STRATIX10
 options 	SOC_MARVELL_8K
 options 	SOC_NVIDIA_TEGRA210
 options 	SOC_NXP_LS
+options 	SOC_ROCKCHIP
 options 	SOC_ROCKCHIP_RK3328
 options 	SOC_ROCKCHIP_RK3399
+options 	SOC_ROCKCHIP_RK3568
 options 	SOC_XILINX_ZYNQ
 
 # Timer drivers
@@ -161,7 +163,10 @@ device		aw_wdog		# Allwinner Watchdog
 
 # Power management controllers
 device		axp81x		# X-Powers AXP81x PMIC
+device		rk8xx		# RockChip RK8XX base support
 device		rk805		# RockChip RK805 PMIC
+device		rk808		# RockChip RK808 PMIC
+device		rk817		# RockChip RK817 PMIC
 
 # EFUSE
 device		aw_sid		# Allwinner Secure ID EFUSE