1. Fixed HRT PPM code; serial console now works well.
2. Added stubs for some missing drivers.
3. Added defines and configurations options for Navstik that were
missing earlier. Now the code correctly picks up Navstik files.