Fixing a minor bug in push notifications

Registration and unregistration of push notifications on Android have no user-facing messaging currently - its all in the background in a ```Service```. This is also a bit of a corner case, since if push notifications are not enabled, the developer probably wouldn't have a ```pushNotificationId``` to set in ```bootconfig```.