Updated build.mk for newly added xxx_hal files