va is of type vaddr_t; allow sparc64 to build with DEBUG
va is of type vaddr_t; allow sparc64 to build with DEBUG

ok miod@

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars