linux-raspberrypi comes from core, not alarm