public marks

PUBLIC MARKS from tadeufilippini with tags i386 & "installation guide debian"