[Docs,Pal/Linux-SGX] Allow to use the in-kernel SGX driver

Documentation/building.rst

@@ -167,7 +167,8 @@ To install the Graphene SGX driver, run the following commands::
 
    cd Pal/src/host/Linux-SGX/sgx-driver
    make
-   # The console will be prompted to ask for the path of Intel SGX driver code
+   # the console will prompt you for the path to the Intel SGX driver code
+   # (simply press ENTER if you use the in-kernel Intel SGX driver)
    sudo insmod gsgx.ko
 
 

Documentation/quickstart.rst

@@ -68,6 +68,7 @@ second command should list the process status of :command:`aesm_service`.
       cd $GRAPHENE_DIR
       make SGX=1
       # the console will prompt you for the path to the Intel SGX driver code
+      # (simply press ENTER if you use the in-kernel Intel SGX driver)
 
 #. Set ``vm.mmap_min_addr=0`` in the system (*only required for the legacy SGX
    driver and not needed for newer DCAP/in-kernel drivers*)::