hammerhead: update for new kernel building task