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