Updated f20 pxeboot menu config