Tomas Hruby 9e1d244cbe Revert 93b9873a562b11dfedf5f4e53ef87bf256d80207 ...

- non need to have free PDEs per CPU since we only run one
  instance of the kernel at any time

2012-01-25 18:59:18 +00:00

..

i386

Revert 93b9873a562b11dfedf5f4e53ef87bf256d80207

2012-01-25 18:59:18 +00:00