[PATCH] build kernel/intermodule.c only when required