RTT4.1.0 使用DS3231软件包， 提示 time_t 未定义

使用环境：

• RT-Thread 4.1.0
• ENV：1.2.0
• Keil ：5.36.0
• 芯片：GD32F407ZKT6(使用STM32F407ZGTx BSP 工程编译)

操作步骤：

1. pkgs --update 引入 DS3231 软件包
2. board/Kconfig 文件 Onboard Peripheral Drivers 部分加入以下内容并选中开启：

    config RT_USING_RTC
            bool "Enable DS3231"
            select BSP_USING_I2C8
            default n
   

3. scons --target=mdk5 生成工程

此时进行编译的时候，会报以下错误：

packages\ds3231-latest\ds3231.c(138): error:  #20: identifier "time_t" is undefined`
....
packages\ds3231-latest\ds3231.c(242): error:  #20: identifier "uint8_t" is undefined

临时解决方法需要手动在文件 ds3231.c 中加入 #include <sys/time.h>。

想请教下，上诉问题是我的操作步骤有问题导致的，还是因为 RT-Thread 的版本进行了更新导致的？

自己找原因的过程中，有注意到 [components/libc] Move time() and clock() function to libc time.c 这个提交将 time_t time(time_t *t) 从 components/drivers/rtc/rtc.c 移动到了 components/libc/compilers/common/time.c，不知与我的问题是否有关系？