bug #2442: Fix bmake regression of kernel build