use a consistent style for fixed-size int types

The stdint.h types don't cover 128-bit integers and the underscore makes
them ill suited to usage in function suffixes. Instead, use the common
naming style in the Linux kernel and elsewhere including the ChaCha8
implementation included here.

pages.c

@@ -1,5 +1,4 @@
 #include <errno.h>
-#include <stdint.h>
 
 #include "memory.h"
 #include "pages.h"