[SYCL][Doc]Editorial fixes to kernel compiler spec (#11982)

Fix some minor spec problems I noticed while preparing a larger change.
None of these should affect the implementation.

Author: gmlueck

sycl/doc/extensions/experimental/sycl_ext_oneapi_kernel_compiler.asciidoc

@@ -37,7 +37,7 @@ https://github.com/intel/llvm/issues
 
 == Dependencies
 
-This extension is written against the SYCL 2020 revision 7 specification.
+This extension is written against the SYCL 2020 revision 8 specification.
 All references below to the "core SYCL specification" or to section numbers in
 the SYCL specification refer to that revision.
 
@@ -215,13 +215,13 @@ a!
 ----
 namespace sycl::ext::oneapi::experimental {
 
-template<typename PropertyListT = properties<>>                       (1)
+template<typename PropertyListT = empty_properties_t>                 (1)
 kernel_bundle<bundle_state::executable> build(
   const kernel_bundle<bundle_state::ext_oneapi_source>& sourceBundle,
   const std::vector<device> &devs,
   PropertyListT props = {})
 
-template<typename PropertyListT = properties<>>                       (2)
+template<typename PropertyListT = empty_properties_t>                 (2)
 kernel_bundle<bundle_state::executable> build(
   const kernel_bundle<bundle_state::ext_oneapi_source>& sourceBundle,
   PropertyListT props = {})
@@ -230,13 +230,11 @@ kernel_bundle<bundle_state::executable> build(
 ----
 !====
 
-Overload (1):
-
 _Constraints:_ Available only when `PropertyListT` is an instance of
 `sycl::ext::oneapi::experimental::properties` which contains no properties
 other than those listed below in the section "New properties".
 
-_Effects:_ The source code from `sourceBundle` is translated into one or more
+_Effects (1):_ The source code from `sourceBundle` is translated into one or more
 device images of state `bundle_state::executable`, and a new kernel bundle is
 created to contain these device images.
 The new bundle represents all of the kernels in `sourceBundle` that are
@@ -247,6 +245,8 @@ Any remaining kernels (those that are not compatible with any of the devices in
 The new bundle has the same associated context as `sourceBundle`, and the new
 bundle's set of associated devices is `devs` (with duplicate devices removed).
 
+_Effects (2)_: Equivalent to `build(sourceBundle, ctxt.get_devices(), props)`.
+
 _Returns:_ The newly created kernel bundle, which has `executable` state.
 
 _Throws:_
@@ -274,12 +274,6 @@ source code used to create the kernel bundle being printed to the terminal.
 In situations where this is undesirable, developers must ensure that the
 exception is caught and handled appropriately.
 _{endnote}_]
-
-Overload (2):
-
-_Constraints:_ Same as overload (1).
-
-_Effects:_ Equivalent to `build(sourceBundle, ctxt.get_devices(), props)`.
 |====
 
 === New properties
@@ -333,7 +327,7 @@ namespace sycl::ext::oneapi::experimental {
 
 struct save_log {
   std::string *log;
-  save_log(std::string *to);
+  save_log(std::string *to);  (1)
 };
 using save_log_key = save_log;
 
@@ -359,7 +353,7 @@ provided in the log.
 In general, the log information is intended for human consumption, and the
 format may not be stable across implementations of this extension.
 
-_Effects:_ Constructs a `save_log` property with a pointer to a `std::string`.
+_Effects (1):_ Constructs a `save_log` property with a pointer to a `std::string`.
 When the `build` function completes successfully, this string will contain the
 log.
 
@@ -426,10 +420,7 @@ template <bundle_state State>
 class kernel_bundle {
   // ...
 
-  // Available only if bundle_state is not bundle_state::ext_oneapi_source
   bool ext_oneapi_has_kernel(const std::string &name);
-
-  // Available only if bundle_state is bundle_state::executable
   kernel ext_oneapi_get_kernel(const std::string &name);
 };