FIX: Typo in kernel path