Update boba loader to support 64-bite pointers