Change of method - use OS name, not Kernel name, because this is a
more correct way of selecting platform
Authored by: andy_rushton 2013-12-11
Parent: [r83]
Child: [r85]
