complete documentation of machine attribute defns for Ubuntu 12.04
support #3972
Merge branch 'V8_0-branch' into V8_1_2-branch
Merge branch 'V8_1_2-branch'