[PATCH v3 08/13] loader: Fix return type of get_auxiliary().