feat: added basic ACPI support using LAI

kernel/libc/kprintf.c

@@ -85,6 +85,7 @@ uint32_t vasprintf(char *buf, const char *fmt, va_list args) {
                 buf[ptr++] = (char) va_arg(args, int);
                 break;
             case 'x':
+            case 'p':
             case 'X': // todo capitalize
                 print_int((uint32_t) va_arg(args, uint32_t), field_width, buf, &ptr, 16);
                 break;