Move kernel configs into "docs" subdirectory, and add microconfig.
1 file changed