board: make kernel settings device-specific