Gregory Nutt a12ff2836c Fixes from review of last PR

2017-06-21 10:15:23 -06:00

..

defconfig

Fixes from review of last PR

2017-06-21 10:15:23 -06:00

Make.defs

…