Named kernel/Setup build script