not sure if theres a simpler way but, use xbtool to modify your bios to boot instead of (insert dash name here) then reflash.