Merge pull request #16 from Blopeur/dev

 fix missing export __split_huge_page_pmd
Merge pull request #18 from Blopeur/dev

Dev- update code from Aidan and made it compatible with Roei