kernel: add some more ARM related configuration symbols