add mahdi files

-use prebuilt kernel for now