riscv: use correct config

CONFIG_PT_LEVELS not CONFIG_PT_LEVEL

libsel4vka/sel4_arch_include/riscv/vka/sel4_arch/kobject_t.h

diff --git a/libsel4vka/sel4_arch_include/riscv/vka/sel4_arch/kobject_t.h b/libsel4vka/sel4_arch_include/riscv/vka/sel4_arch/kobject_t.h
index 2f35eeb..e3055e6 100644
--- a/libsel4vka/sel4_arch_include/riscv/vka/sel4_arch/kobject_t.h
+++ b/libsel4vka/sel4_arch_include/riscv/vka/sel4_arch/kobject_t.h
@@ -49,7 +49,7 @@
         case seL4_HugePageBits:
             return seL4_RISCV_Giga_Page;
 #endif
-#if CONFIG_PT_LEVEL > 3
+#if CONFIG_PT_LEVELS > 3
         case seL4_TeraPageBits:
             return seL4_RISCV_Tera_Page;
 #endif

libsel4vspace/arch_include/riscv/vspace/arch/page.h

diff --git a/libsel4vspace/arch_include/riscv/vspace/arch/page.h b/libsel4vspace/arch_include/riscv/vspace/arch/page.h
index a8da885..6a7ac09 100644
--- a/libsel4vspace/arch_include/riscv/vspace/arch/page.h
+++ b/libsel4vspace/arch_include/riscv/vspace/arch/page.h
@@ -21,10 +21,10 @@
 static const UNUSED size_t sel4_page_sizes[] = {
     seL4_PageBits,
     seL4_LargePageBits,
-#if CONFIG_PT_LEVEL > 2
+#if CONFIG_PT_LEVELS > 2
     seL4_HugePageBits,
 #endif
-#if CONFIG_PT_LEVEL > 3
+#if CONFIG_PT_LEVELS > 3
     seL4_TeraPageBits,
 #endif
 };