Add defconfig configuration

Now we use device as default, but changing a device won't change a
defconfig that easy.
This change will add support for specific defconfigs.
The environment script will set a defconfig that will be used by
default.
You can now also set a specific defconfig with ./make_micore.sh --kernel
[defconfig]