4.1.5.1.4.1 of the spec does say that a page is 4096 for the purposes of legacy virtio, but 2.4.2 just talks about pages. you think i should just use an explicit 4096 instead of PGROUND/BY2PG here?