Make the supermin helper look for any x86 kernel