public marks

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