Update/modify some outdated notes

Add notes on possible MMU combinations of EPT tests. And some
minor edits.