Links for arm-kernel