Я не вижу его здесь, хотя я не смог использовать шестнадцатеричный ввод, как вы, но преобразовать в десятичный не было проблемой.
$ echo 2147483648 | awk '{printf("0x%08x\n", $1)}'
0x80000000
Если вы хотите рассказать нам, на какой платформе вы находитесь '(это был GNU awk 3.1.5), мы могли бы помочь вам больше.