Merge "hal: Avoid dereferencing null symbol pointer"