[XNU792.1.5] udp_lock x86 bug?