also fix trailing spaces
this allows ports to specify a freertos port outside the FreeRTOS-Kernel lib directory, which would otherwise not be possible Signed-off-by: Rafael Silva <rafaelsilva@ajtec.pt>