[ALUG] Kernel compilation query.