Removed outdated comment
Removed unused label from prekernel.s