[whitespace] format kickstart.s correctly