b14765b3ed
This fixes the kernel panic when propagating userconfig changes to arbitrary kernels. Remove obsoleted `#include <tcl.h>' added a few <stdio.h> where necessary. Fix getting scsi bus information from an -incore kernel. Turned on SAVE_USERCONFIG by default.