Fixing some bugs and minor improvements for MicroKernelTrait#10501

Closed

yceruto wants to merge 1 commit intosymfony:4.1from

yceruto:update_micro_kernel_trait

Commits on Oct 16, 2018

Fix some bugs, added missing note, removed dead code and revamping code
yceruto
committed