ANDROID: sched/{fair,tune}: use reciprocal_value to compute boost margin

Change-Id: I493b07360c46eee0b72c2a046dab9ec6cb3427ef
Signed-off-by: Patrick Bellasi <patrick.bellasi@arm.com>
Signed-off-by: Srinath Sridharan <srinathsr@google.com>
Signed-off-by: Quentin Perret <quentin.perret@arm.com>
2 files changed