Comment 3 for bug 1576564

Today had one lucky case (but unable to repeat it) of booting a 4.4 kernel with 1024M dom0 memory. That was after cold booting into 3.19 with dom0=1024M,max:1024M which was ok, and then rebooting into 4.4 with the same argument. But no matter what I tried later, this seemed to be a one time lucky thing.