[Linux4: Rebrand to samsung and provide both 32bit and 64bit services] Change-Id: I17c4584b6e1c0ec0e7ea7182f276d6aed75ba277