[seL4] kernel builds w/ different memory configurations