shift_hammerhead.mk: Change kernel path.