added build-kernel script, currently with gcc4.7