So my patches have been applied to this kernel, yet the check is still able to access non-rounded down value of 1000203820544. But this ought to have been fixed by you running balance. Weird...