This minicommit introduces two newtpyes, `Physical` and `Virtual`, respectively. These serves as a way to segregate the different forms of addresses to avoid the issues we had in the old kernel.