kernel: remove white space

Signed-off-by: Federico Vaga <federico.vaga@cern.ch>