socfpga/spl: Remove malloc.h