FastLED build failure with earlephilhower package for Pi Pico

I want to use the earlephilhower Pico software along with FastLED, but I get a strange build error which does not occur with the standard mbed framework.

Here is the mini sample program

#include <Arduino.h>
#include <FastLED.h>

// How many leds in your strip?
#define NUM_LEDS 12

// For led chips like Neopixels, which have a data line, ground, and power, you just
// need to define DATA_PIN.  For led chipsets that are SPI based (four wires - data, clock,
// ground, and power), like the LPD8806, define both DATA_PIN and CLOCK_PIN  
#define PIN_RGB_0 17
#define PIN_RGB_1 18

// Define the array of leds
CRGB leds[NUM_LEDS] ={0};

void setup() {

void loop() {

And here is what success looks like:
the platformio.ini

platform = raspberrypi
board = pico
framework = arduino
lib_extra_dirs = ~/Documents/Arduino/libraries

After a depressing number of warnings that FastLED generates I get:

Linking .pio\build\pico\firmware.elf
Generating UF2 image
elf2uf2 ".pio\build\pico\firmware.elf" ".pio\build\pico\firmware.uf2"
Checking size .pio\build\pico\firmware.elf
Advanced Memory Usage is available via "PlatformIO Home > Project Inspect"
RAM:   [==        ]  15.2% (used 41104 bytes from 270336 bytes)
Flash: [          ]   0.2% (used 4238 bytes from 2097152 bytes)
Building .pio\build\pico\firmware.bin
=================================== [SUCCESS] Took 6.29 seconds =

Change to the earlephilhower version:

;platform = raspberrypi
platform =
board = pico
framework = arduino
board_build.core = earlephilhower
lib_extra_dirs = ~/Documents/Arduino/libraries

And the tail end of the output

Compiling .pio\build\pico\FrameworkArduino\wiring_shift.cpp.o
C:\Users\Keith\AppData\Local\Temp\ccoCCFn5.s: Assembler messages:
C:\Users\Keith\AppData\Local\Temp\ccoCCFn5.s:396: Error: invalid offset, value too big (0x00000494)Archiving .pio\build\pico\lib9a4\libSPI.a
*** [.pio\build\pico\src\main.cpp.o] Error 1
Indexing .pio\build\pico\lib9a4\libSPI.a
=================================== [FAILED] Took 3.59 seconds 

And a final clue: Removing the second call to FastLED.addLeds will cause a successful build.

Sorry, the error message got cut off. Here it is, unformatted

C:\Users\Keith\AppData\Local\Temp\ccoCCFn5.s:396: Error: invalid offset, value too big (0x00000494)Archiving .pio\build\pico\lib9a4\libSPI.a

OK, I just found the old discussion on github. I guess the error from before is still there …

Can you link to that discussion you found? This looks like a failure in the toolchain.