CONFIG: add 1265 and 3888