Linux5.0 ok6410 transplantation, the younger brother did recently encountered a problem is opened the RTC configuration options but not in the/dev/RTC generated file, could you tell me whether there is something wrong with?