hammerhead: fix kernel build