PlasmaBootLoader_tb working as expected