Call bash rather than sh in hostboot.mk; fails on ubuntu 14.04