Linux kernel developer Greg Kroah-Hartman like to use Arch Linux