jconfig, a JavaFX tool, to can configure the Linux kernel source