Gernot Heiser, The University of New South Wales, NICTA, and Open Kernel Labs