Build kernel libraries in subdirectories (again)