[PATCH] Fix boot code head.S warning