NXP-14442/NXP-14444: Use @RandomBug.Repeat instead of @Ignore