[Bug 1273833] New: Review Request: libsoc - Interface with common SoC peripherals through generic kernel interfaces