Use dev branch of pepper device repository.

Minor fixes to documentation.

Change-Id: I3922bce93d67723677953442b759c9aae30948ef