Robert Nelson b9234c1af7 kernel: config, docker is still complaining..
Signed-off-by: Robert Nelson <robertcnelson@gmail.com>
..
change-gateware.sh kernel: config, docker is still complaining..