After spending the whole day on it, I finally realized it was actually simple — just change all the max kernel values in the AMD processor patches for the 15.x EFI from 24.99.99 to 25.99.99, and make sure not to load WhateverGreen.kext and AppleALC.kext. Then it works.