Getting the mcuconf and Makefile changes right is non-trivial for a beginner, so this will be helpful for others who want to get started with ChibiOS on a Teensy 3.6.