SlugOS: lockdown the kernel version in slugos.conf to override ixp4xx.conf