Kernel file location should now be portable