config: Build Trebuchet

Change-Id: I995ea7b3ac3060d4ba44408bd8860e07bc46880c