# Default properties for the Kernel Patch Manager (KPM)