os: add 'clock_rate' to Rpi platform driver
WiP Rpi SD-card driver