kernel: build with x32 support on 64bits
gdb: bump to 7.6.2 to gain x32 debugging support

additionally it doesn't bail out on dwarf v3.