kernel: add support for ef52s into HEAD

Change-Id: Ibe1edb59f034a5fbcad8ada1ec12dd9246f39b87