The kernel checks if the addresses and given size is 4KB aligned before continuing onwards to map the memory.
