kernel updates from external trees