gcc-cross-kernel: fix build with texinfo >= 5.0