Adding some notes from the hardware supported virtualuization on ARM paper.