# implements normal rtc access, but through EFI firmware
# (dunno why it's a different device)
c $ALLREAD              10 136  1   1 efirtc
