kernel.h: remove unused NIPQUAD and NIPQUAD_FMT