defconfig: Enable TRIPNDROID