Adjust dist README, see #3105

I have also verified the instructions and sample described in microkernel.rst