This file marks the pattern devel_kernel to be installed.