Rename some Makefile targets. Closes #2274

kernel -> core
test_kernel -> test_stdlib