provide temporary location for linux kernel sources