kernel: fix xen kernel build with updated toolchain.