Just come across this when booting on an old hw..
Looks somewhat ugly, that single missing space ;)
Signed-off-by: NMichael Tokarev <mjt@tls.msk.ru>
Signed-off-by: NIngo Molnar <mingo@elte.hu>