Updated config options to work with latest RTEMS 4.11/git head