Merge "aboot: add support for booting 64bit kernel"