add option to override system platform instead of using kernel name Signed-off-by: Stephen Howell <howels@allthatwemight.be>