[PATCH v2 0/7] tools/nolibc: fix some undefined behaviour and enable UBSAN