Check for deploy kernel as well before building