xv6-riscv

Update acks

Separate tests in slow and quick. The slow tests run xv6 out of

comment the sfences

sfence before enabling paging

Merge branch 'riscv' of g.csail.mit.edu:xv6-dev into riscv