userkernel

added API to maintain available freephypages