x86_64: properly 0-initialize page addresses
x86_64: properly 0-initialize page addresses

AnnikaH/IncludeOS,hioa-cs/IncludeOS,mnordsletten/IncludeOS,mnordsletten/IncludeOS,AnnikaH/IncludeOS,AnnikaH/IncludeOS,mnordsletten/IncludeOS,mnordsletten/IncludeOS,AndreasAakesson/IncludeOS,ingve/IncludeOS,AndreasAakesson/IncludeOS,AnnikaH/IncludeOS,ingve/IncludeOS,alfred-bratterud/IncludeOS,AndreasAakesson/IncludeOS,alfred-bratterud/IncludeOS,AndreasAakesson/IncludeOS,hioa-cs/IncludeOS,hioa-cs/IncludeOS,AndreasAakesson/IncludeOS,alfred-bratterud/IncludeOS,ingve/IncludeOS,mnordsletten/IncludeOS,AnnikaH/IncludeOS,ingve/IncludeOS,alfred-bratterud/IncludeOS,hioa-cs/IncludeOS,AndreasAakesson/IncludeOS,hioa-cs/IncludeOS,ingve/IncludeOS,alfred-bratterud/IncludeOS,mnordsletten/IncludeOS