manually port a bigmem option from semaphore kernel