https://superuser.com/questions/287371/obtain-kernel-config-from-currently-running-linux-system/287372#287372