minor fix to kernel install