Random config: Fix ignore option ignored!

Signed-off-by: Bart Kuivenhoven <bemkuivenhoven@gmail.com>