[PATCH] Get rid of "double zeroing" of allocated pages