upgpkg: tpfand-no-hal 0.94-5
upgpkg: tpfand-profiles 20120603-2