Kernel configuration renamed to indicate the versatile board simulation.