> It looks like a typo -- should read $kernel_source instead?

Yep, it looks like, can you file a bug report since it isn't already
fixed ?
Thanks

-- 
Olivier Blin

Reply via email to