kernel: add missing config options for au1000 target