change page_dir to vspace_root, fix typo
change copyright headers from NICTA to Data61/CSIRO
[snapshot] RefOS release shapshot v2.0. This is the release snapshot for RefOS v2.0.