fix infiniboot4