When I compiled kernal of s32g with branch of bsp35.0-5.10.145-rt(https://github.com/nxp-auto-linux/linux.git),there is a command of make xxx_deconfig. In the case I found four files in the path(arch/arm64/configs).For s32g399ardb3,which config file should I use?Thank u.