This file marks the pattern kernel_livepatching to be installed.
