rtlib: Fix ARM 64bit build