Switched from http GET to POST in loading kernel source code, to avoid caching issues