PATCH[1/1] Linux Security Guide: edit of General_Principles.xml