Changed the buff_mgmt syscall to use new calling convention. Not
tested yet.