The PC-BSD 7.0.1 update has been available for a few weeks now through the PC-BSD Update tool. Users who prefer using their favourite download manager can download the PC-BSD 7.0 -> 7.0.1 update PBI from PBIdir.com.