# Dummy file to get through do_kernel_configme.