public marks

PUBLIC MARKS from tadeufilippini with tags x86 & etch