Updating kernel config file to comply with 4.1.5