Kernel shell patched

Signed-off-by: shyeon.kim <kimseo@kth.se>