fix a dead reference to teensy40_defconfig file Signed-off-by: Benjamin Cabé <benjamin@zephyrproject.org>