It's not immediately obvious what numeric values mean for CPU scheduling policy. Let's document this and add doc reference. Related: OS#4107 Change-Id: Ib047762a336851e6205d77c83068a99d8a868e8b