Update hostboot_binaries.mk