NXP-14735: remove random bug annotation