Test kernel specs REST API

And fix kernel not found producing a 404 code.