The virtual GIC is supposed to be 4kB aligned. On a 64kB page
system, comparing the alignment to PAGE_SIZE is wrong.

Use SZ_4K instead.
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>