Update shed.h kernel header