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