Switch net_kernel calls from BIF to 'explicit' API