Newly allocated paging table was not filled with zeroes in the AMD64
paging code causing random errors during the boot procedure.