There is no real reason for keeping page tables into separate pools. Make it global which allows for more efficient memory usage and simplifies the code. Signed-off-by: Nicolas Pitre <npitre@baylibre.com>