kernel: support separate build and source directories