Well, my compilation problem was caused by 'stubs required for boot.c' at bottom of stubs_entry_2.s'.
None were required for some reason and only the first two of those for capt_seq.c.
Anyway, just one thing is preventing compilation ... can you find the address of _platformsub_kbd_fetch_data ?
Thanks.
David