fixed missing kernel option for x86