Introduced address validity check for kernel
module. Provided addresses through FK columns
that instantiate a virtual table are now checked
for validity by calling the kernel's virt_addr_valid().
Tests successful.