Any chance SDCC will have support for PIC18F6xK22 / PIC18F8xK22 ?