[i386] Remove obsolete functions from virtaddr.h