Update hal.mk