Revert "add scripts to support imoseyon/leanKernel"

This reverts commit e093800ee49365188830dab7a2d69141d2aaeb4b.

Change-Id: Idd93fe91b4b6e507e62aa4a36bad0b8e87ae9e5b