Add a few variables to properly support the use of a custom kernel conf