Remove duplicate of ko_at_kheap_upd_id#972

michaelmcinerney merged 1 commit intortseL4/l4v:rtfrom

michaelm-ko_at_kheap_upd_idseL4/l4v:michaelm-ko_at_kheap_upd_idCopy head branch name to clipboard