He's raised a PR and there's now a discussion on how best to integrate this in mainline, probably by creating a board concept similar to the STM32 port. In the meantime you should be able to repeat his workaround.