Merge "hal: fix a typo in make file"