Qubes R4.2.0-rc3 ignores Qubes Grub theme on boot

General Discussion
5

Maybe this is connected to the problem described here? If yes, it might hint to a solution.