* fix build error for bbl upon intial build * set memory to 128 MB in spike * support 'forever' timeout issue #2423
The Berkley Boot Loader handles kernel loading and machine mode