# Base kernel should have an empty have_config file.
