Update config_distro_defaults.h

Allow booting Kernel without device tree.http://www.raspberrypi.org/forums/viewtopic.php?f=28&t=92708