void falcon_init_l2_cache(paddr_t base);
Enable the L2 cache on a board with a Falcon system controller chip. The base physical address of the Falcon controller registers are given by base.