Minor tweaks to kernel and autoloading.