Fix bugs in kernel platform library. (#447)

Co-authored-by: Alan Jowett <alanjo@microsoft.com>

libs/platform/ebpf_state.c

@@ -26,7 +26,7 @@ ebpf_state_initiate()
     ebpf_result_t return_value = EBPF_SUCCESS;
 
     if (ebpf_is_non_preemptible_work_item_supported()) {
-        ebpf_get_cpu_count(&_ebpf_state_cpu_table_size);
+        _ebpf_state_cpu_table_size = ebpf_get_cpu_count();
         _Analysis_assume_(_ebpf_state_cpu_table_size >= 1);
 
         _ebpf_state_cpu_table = ebpf_allocate(_ebpf_state_cpu_table_size * sizeof(ebpf_state_entry_t));

libs/platform/kernel/ebpf_platform_kernel.c

@@ -242,7 +242,7 @@ bool
 ebpf_is_preemptible()
 {
     KIRQL irql = KeGetCurrentIrql();
-    return irql >= DISPATCH_LEVEL;
+    return irql < DISPATCH_LEVEL;
 }
 
 bool