kernel: use the gnu89 standard explicitly