Building coreelec-20

For weeks I have add trouble building coreelec-20 specifically lirc and eventlircd and it is tied to two patches to use 64 bit time since if I remove those patches it works. Does anyone have a suggestion on how I might work around this?

Will be fixed soon.
Currently removing both patches is a temporary solution.