Added few more xxx_hal files in SPARK_Hal