NetBSD-current/evbarm の RPI のカーネル設定を見ていたら，こんなのを見つけた．
# 'DS3231 Raspberry Pi RTC Board Real Time Clock Module for Arduino' # sold by linksprite.com dsrtc* at iic1 addr 0x68 flags 3231
まさに同じRTCを使っているので，7-stableの方に書いてカーネルを作り直してみたら，問題なく使えた．
bcmspi0 at obio0 intr 54: SPI
spi0 at bcmspi0: SPI bus
bsciic0 at obio0 intr 53: BSC0
iic0 at bsciic0: I2C bus
bsciic1 at obio0 intr 53: BSC1
iic1 at bsciic1: I2C bus
dsrtc0 at iic1 addr 0x68: DS3231 Real-time Clock
bcmgpio0 at obio0: GPIO [0...31]
gpio0 at bcmgpio0: 32 pins
bcmgpio1 at obio0: GPIO [32...53]
gpio1 at bcmgpio1: 22 pins
ただ，”年” の扱いが1970年(POSIX_BASE_YEAR)からの差分になっていて，Linuxと違うみたいなので，注意が必要．