Merge branch 'bignum' into linux-bignum