[U-Boot] [PATCH 0/1] Add SPL malloc to devkit 8000