boardconfig: fix kernel path