This file marks the pattern devel_kernel-32bit to be installed.
