84344921ed
tree. Unfortunately the latter cannot be completely readonly, because "config" still depends on the kernel config file being in sys/${ARCH}/conf (it seems to derive other pathnames from that one).