pcfrtc_bootstrap_read
if (pcfrtc_bootstrap_read(acorn32_i2c_tag, 0x50,
extern int pcfrtc_bootstrap_read(i2c_tag_t, int, int, u_int8_t *, size_t);