Add simple tests for kernel spec machinery